vmcs_getreg
ret = vmcs_getreg(vmcs, running, ident, &val);
int vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *rv);
error = vmcs_getreg(vcpu->vmcs, running,
error = vmcs_getreg(vmcs, running, ident, &gi);
return (vmcs_getreg(vcpu->vmcs, running, reg, retval));
vmcs_getreg(vcpu->vmcs, running,