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;