Searched refs:eprom_kernelbase (Results 1 – 1 of 1) sorted by relevance
543 uintptr_t eprom_kernelbase; variable1333 if (eprom_kernelbase && eprom_kernelbase != KERNELBASE) in startup_kmem()1352 if (eprom_kernelbase) { in startup_kmem()1353 kernelbase = eprom_kernelbase & mmu.level_mask[1]; in startup_kmem()1454 if (eprom_kernelbase && (eprom_kernelbase != kernelbase)) in startup_kmem()1457 (uintptr_t)eprom_kernelbase, (uintptr_t)kernelbase); in startup_kmem()3010 eprom_kernelbase = NULL; in get_system_configuration()3012 eprom_kernelbase = (uintptr_t)lvalue; in get_system_configuration()