Lines Matching defs:boot_page
498 paddr_t boot_page = cpu_read_4(GUR_BPTR);
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) {
597 mr->size = boot_page - mr->start;
603 mr->start = boot_page + PAGE_SIZE;
1440 paddr_t boot_page = cpu_read_4(GUR_BPTR);
1441 if (boot_page & BPTR_EN) {
1443 boot_page = (boot_page & BPTR_BOOT_PAGE) << PAGE_SHIFT;
1444 for (const uint32_t *dp = (void *)(boot_page + PAGE_SIZE - 4),
1445 * const bp = (void *)boot_page;
1447 if (*dp == boot_page) {
1452 boot_page);
1457 boot_page, spinup_table_addr);
1464 " with missing U-boot signature!\n", boot_page);