half_pa 1446 arch/x86/kernel/cpu/bugs.c u64 half_pa; half_pa 1477 arch/x86/kernel/cpu/bugs.c half_pa = (u64)l1tf_pfn_limit() << PAGE_SHIFT; half_pa 1479 arch/x86/kernel/cpu/bugs.c e820__mapped_any(half_pa, ULLONG_MAX - half_pa, E820_TYPE_RAM)) { half_pa 1482 arch/x86/kernel/cpu/bugs.c half_pa);