Searched refs:eprom_kernelbase (Results 1 – 1 of 1) sorted by relevance
542 uintptr_t eprom_kernelbase; variable1331 if (eprom_kernelbase && eprom_kernelbase != KERNELBASE) in startup_kmem()1350 if (eprom_kernelbase) { in startup_kmem()1351 kernelbase = eprom_kernelbase & mmu.level_mask[1]; in startup_kmem()1452 if (eprom_kernelbase && (eprom_kernelbase != kernelbase)) in startup_kmem()1455 (uintptr_t)eprom_kernelbase, (uintptr_t)kernelbase); in startup_kmem()3008 eprom_kernelbase = NULL; in get_system_configuration()3010 eprom_kernelbase = (uintptr_t)lvalue; in get_system_configuration()