Searched refs:x86_arch_capabilities (Results 1 – 1 of 1) sorted by relevance
93 uint64_t x86_arch_capabilities; in check_cpu_security_cap() local98 x86_arch_capabilities = msr_read(MSR_IA32_ARCH_CAPABILITIES); in check_cpu_security_cap()99 skip_l1dfl_vmentry = ((x86_arch_capabilities in check_cpu_security_cap()102 mds_no = ((x86_arch_capabilities & IA32_ARCH_CAP_MDS_NO) != 0UL); in check_cpu_security_cap()105 ssb_no = ((x86_arch_capabilities & IA32_ARCH_CAP_SSB_NO) != 0UL); in check_cpu_security_cap()247 uint64_t x86_arch_capabilities; in is_ept_force_4k_ipage() local279 x86_arch_capabilities = msr_read(MSR_IA32_ARCH_CAPABILITIES); in is_ept_force_4k_ipage()280 if ((x86_arch_capabilities & IA32_ARCH_CAP_IF_PSCHANGE_MC_NO) != 0UL) { in is_ept_force_4k_ipage()
Completed in 2 milliseconds