Searched refs:pcpu_has_vmx_ept_vpid_cap (Results 1 – 5 of 5) sorted by relevance
408 bool pcpu_has_vmx_ept_vpid_cap(uint64_t bit_mask) in pcpu_has_vmx_ept_vpid_cap() function460 if (!pcpu_has_vmx_ept_vpid_cap(VMX_EPT_INVEPT)) { in check_vmx_mmu_cap()463 } else if (!pcpu_has_vmx_ept_vpid_cap(VMX_VPID_INVVPID) || in check_vmx_mmu_cap()464 !pcpu_has_vmx_ept_vpid_cap(VMX_VPID_INVVPID_SINGLE_CONTEXT) || in check_vmx_mmu_cap()465 !pcpu_has_vmx_ept_vpid_cap(VMX_VPID_INVVPID_GLOBAL_CONTEXT)) { in check_vmx_mmu_cap()468 } else if (!pcpu_has_vmx_ept_vpid_cap(VMX_EPT_2MB_PAGE)) { in check_vmx_mmu_cap()541 !pcpu_has_vmx_ept_vpid_cap(VMX_EPT_1GB_PAGE))) { in detect_hardware_support()
139 if (pcpu_has_vmx_ept_vpid_cap(VMX_EPT_INVEPT_SINGLE_CONTEXT)) { in invept()142 } else if (pcpu_has_vmx_ept_vpid_cap(VMX_EPT_INVEPT_GLOBAL_CONTEXT)) { in invept()
54 bool pcpu_has_vmx_ept_vpid_cap(uint64_t bit_mask);
125 support = pcpu_has_vmx_ept_vpid_cap(VMX_EPT_1GB_PAGE); in ept_large_page_support()
315 if (!pcpu_has_vmx_ept_vpid_cap(VMX_EPT_EXECUTE_ONLY)) { in is_ept_entry_misconfig()
Completed in 8 milliseconds