arch/x86/include/asm/pgtable.h

1703

bool arch_is_platform_page(u64 paddr);

arch/x86/include/asm/pgtable.h

1704

#define arch_is_platform_page arch_is_platform_page

arch/x86/kernel/cpu/sgx/main.c

661

EXPORT_SYMBOL_GPL(arch_is_platform_page);

arch/x86/mm/pat/set_memory.c

2253

if (arch_is_platform_page(pfn << PAGE_SHIFT))

drivers/acpi/apei/einj-core.c

703

if (arch_is_platform_page(base_addr))

drivers/edac/skx_common.c

766

if (!pfn_to_online_page(res.addr >> PAGE_SHIFT) && !arch_is_platform_page(res.addr)) {

include/linux/mm.h

4649

#ifndef arch_is_platform_page

mm/memory-failure.c

2366

if (!pfn_valid(pfn) && !arch_is_platform_page(PFN_PHYS(pfn))) {