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);