sys/amd64/vmm/intel/vmcs.c

482

ret = vmcs_setreg(vmcs, running, ident, val);

sys/amd64/vmm/intel/vmcs.h

54

int vmcs_setreg(struct vmcs *vmcs, int running, int ident, uint64_t val);

sys/amd64/vmm/intel/vmx.c

1042

error = vmcs_setreg(vmcs, 0, VMCS_IDENT(mask_ident), mask_value);

sys/amd64/vmm/intel/vmx.c

1046

error = vmcs_setreg(vmcs, 0, VMCS_IDENT(shadow_ident), initial);

sys/amd64/vmm/intel/vmx.c

3379

error = vmcs_setreg(vmcs, running, ident, gi);

sys/amd64/vmm/intel/vmx.c

3461

error = vmcs_setreg(vcpu->vmcs, running, reg, val);

sys/amd64/vmm/intel/vmx.c

3477

vmcs_setreg(vcpu->vmcs, running,

sys/amd64/vmm/intel/vmx.c

3486

error = vmcs_setreg(vcpu->vmcs, running,