Home
last modified time | relevance | path

Searched refs:vmcs_setreg (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/amd64/vmm/intel/
H A Dvmcs.c226 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 Dvmcs.h54 int vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val);
H A Dvmx.c1042 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()
3377 error = vmcs_setreg(vmcs, running, ident, gi); in vmx_modify_intr_shadow()
3459 error = vmcs_setreg(vcpu->vmcs, running, reg, val); in vmx_setreg()
3475 vmcs_setreg(vcpu->vmcs, running, in vmx_setreg()
3484 error = vmcs_setreg(vcpu->vmcs, running, in vmx_setreg()