VMSETREG
error = VMSETREG(vm->cookie, vcpuid, reg, val);
return (VMSETREG(vm->cookie, vcpuid, reg, val));