HomeSort by: relevance | last modified time | path
    Searched defs:boot_page (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/powerpc/booke/
e500_tlb.c 1112 paddr_t boot_page = cpu_read_4(GUR_BPTR); local in function:e500_tlb_minimize
1113 if (boot_page & BPTR_EN) {
1117 boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
1118 pmap_kvptefill(boot_page, boot_page + NBPG,
  /src/sys/arch/evbppc/mpc85xx/
machdep.c 498 paddr_t boot_page = cpu_read_4(GUR_BPTR); local in function:memprobe
499 printf(" bptr=%"PRIxPADDR, boot_page);
500 if (boot_page & BPTR_EN) {
504 boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
506 boot_page = ~(paddr_t)0;
585 if (mr_end > boot_page && boot_page >= mr->start) {
591 if (boot_page + PAGE_SIZE == mr_end) {
593 } else if (boot_page == mr->start)
1440 paddr_t boot_page = cpu_read_4(GUR_BPTR); local in function:cpu_startup
    [all...]

Completed in 13 milliseconds