Searched refs:vmcs_setreg (Results 1 - 3 of 3) sorted by relevance
| /freebsd-10.2-release/sys/amd64/vmm/intel/ |
| H A D | vmcs.c | 215 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val) function
|
| H A D | vmcs.h | 51 int vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val);
|
| H A D | vmx.c | 802 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);
806 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);
2833 error = vmcs_setreg(vmcs, running, ident, gi);
2899 error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val);
2915 vmcs_setreg(&vmx->vmcs[vcpu], running,
2924 error = vmcs_setreg(&vmx->vmcs[vcpu], running,
|
Completed in 50 milliseconds