vmx_getreg
error = vmx_getreg(vcpu, reg, &val);
error = vmx_getreg(vcpu, VM_REG_GUEST_RCX, &val);
static int vmx_getreg(void *vcpui, int reg, uint64_t *retval);
.getreg = vmx_getreg,