Searched refs:vmcs_getreg (Results 1 - 3 of 3) sorted by relevance
/freebsd-10.2-release/sys/amd64/vmm/intel/ |
H A D | vmcs.c | 183 vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *retval) function
|
H A D | vmcs.h | 50 int vmcs_getreg(struct vmcs *vmcs, int running, int ident, uint64_t *rv);
|
H A D | vmx.c | 2807 error = vmcs_getreg(&vmx->vmcs[vcpu], running, 2830 error = vmcs_getreg(vmcs, running, ident, &gi); 2878 return (vmcs_getreg(&vmx->vmcs[vcpu], running, reg, retval)); 2909 vmcs_getreg(&vmx->vmcs[vcpu], running,
|
Completed in 111 milliseconds