Searched refs:PAGETABLE_BASE (Results 1 – 1 of 1) sorted by relevance
465 #define PAGETABLE_BASE 0x80000 macro528 pgtable = (uint32_t *)PAGETABLE_BASE; in cpu_jump_to_64bit_uboot()