Searched refs:vcpu_vmx_compute_ctrl (Results 1 – 1 of 1) sorted by relevance
| /openbsd/src/sys/arch/amd64/amd64/ |
| D | vmm_machdep.c | 93 int vcpu_vmx_compute_ctrl(uint64_t, uint16_t, uint32_t, uint32_t, uint32_t *);
2006 if (vcpu_vmx_compute_ctrl(ctrlval, ctrl, want1, want0, &pinbased)) { in vcpu_reset_regs_vmx()
2056 if (vcpu_vmx_compute_ctrl(ctrlval, ctrl, want1, want0, &procbased)) { in vcpu_reset_regs_vmx()
2109 if (vcpu_vmx_compute_ctrl(ctrlval, ctrl, want1, want0, &procbased2)) { in vcpu_reset_regs_vmx()
2149 if (vcpu_vmx_compute_ctrl(ctrlval, ctrl, want1, want0, &exit)) { in vcpu_reset_regs_vmx()
2193 if (vcpu_vmx_compute_ctrl(ctrlval, ctrl, want1, want0, &entry)) { in vcpu_reset_regs_vmx()
3080 vcpu_vmx_compute_ctrl(uint64_t ctrlval, uint16_t ctrl, uint32_t want1, in vcpu_vmx_compute_ctrl() function
|