Searched refs:vcpu_vmx_check_cap (Results 1 – 1 of 1) sorted by relevance
| /openbsd/src/sys/arch/amd64/amd64/ |
| D | vmm_machdep.c | 57 vcpu_vmx_check_cap(x, IA32_VMX_##y ##_CTLS, \
59 vcpu_vmx_check_cap(x, IA32_VMX_##y ##_CTLS, \
92 int vcpu_vmx_check_cap(struct vcpu *, uint32_t, uint32_t, int);
1983 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS, in vcpu_reset_regs_vmx()
2085 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS, in vcpu_reset_regs_vmx()
2087 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
2094 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS, in vcpu_reset_regs_vmx()
2096 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
2203 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED_CTLS, in vcpu_reset_regs_vmx()
2205 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
[all …]
|