Searched refs:vmcs_setreg (Results 1 – 3 of 3) sorted by relevance
| /src/sys/amd64/vmm/intel/ |
| H A D | vmcs.c | 226 vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val) in vmcs_setreg() function 482 ret = vmcs_setreg(vmcs, running, ident, val); in vmcs_snapshot_reg()
|
| H A D | vmcs.h | 54 int vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val);
|
| H A D | vmx.c | 1042 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value); in vmx_setup_cr_shadow() 1046 error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial); in vmx_setup_cr_shadow() 3379 error = vmcs_setreg(vmcs, running, ident, gi); in vmx_modify_intr_shadow() 3461 error = vmcs_setreg(vcpu->vmcs, running, reg, val); in vmx_setreg() 3477 vmcs_setreg(vcpu->vmcs, running, in vmx_setreg() 3486 error = vmcs_setreg(vcpu->vmcs, running, in vmx_setreg()
|