Searched refs:vmcs_setreg (Results 1 – 3 of 3) sorted by relevance
| /f-stack/freebsd/amd64/vmm/intel/ |
| H A D | vmcs.c | 228 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val) in vmcs_setreg() function
484 ret = vmcs_setreg(vmcs, running, ident, val); in vmcs_snapshot_reg()
|
| H A D | vmcs.h | 56 int vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val);
|
| H A D | vmx.c | 1006 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow()
1010 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow()
3309 error = vmcs_setreg(vmcs, running, ident, gi); in vmx_modify_intr_shadow()
3379 error = vmcs_setreg(&vmx->vmcs[vcpu], running, reg, val); in vmx_setreg()
3395 vmcs_setreg(&vmx->vmcs[vcpu], running, in vmx_setreg()
3404 error = vmcs_setreg(&vmx->vmcs[vcpu], running, in vmx_setreg()
|