Symbol: BPTR_BOOT_PAGE
sys/arch/evbppc/mpc85xx/machdep.c
1463
boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
sys/arch/evbppc/mpc85xx/machdep.c
508
boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
sys/arch/powerpc/booke/e500_tlb.c
1117
boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;