BOOT_PGD           54 bsp/hal/arm/arch/mmu.c static pgd_t boot_pgd = (pgd_t)BOOT_PGD;
BOOT_PGD           51 bsp/hal/x86/arch/mmu.c static pgd_t boot_pgd = (pgd_t)BOOT_PGD;