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

  /src/sys/arch/evbppc/mpc85xx/
machdep.c 502 paddr_t boot_page = cpu_read_4(GUR_BPTR); local
503 printf(" bptr=%"PRIxPADDR, boot_page);
504 if (boot_page & BPTR_EN) {
508 boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
510 boot_page = ~(paddr_t)0;
589 if (mr_end > boot_page && boot_page >= mr->start) {
595 if (boot_page + PAGE_SIZE == mr_end) {
597 } else if (boot_page == mr->start)
1460 paddr_t boot_page = cpu_read_4(GUR_BPTR); local
    [all...]
  /src/sys/arch/powerpc/booke/
e500_tlb.c 1112 paddr_t boot_page = cpu_read_4(GUR_BPTR); local
1113 if (boot_page & BPTR_EN) {
1117 boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
1118 pmap_kvptefill(boot_page, boot_page + NBPG,

Completed in 18 milliseconds