Searched refs:highest_paddr (Results 1 – 1 of 1) sorted by relevance
286 unsigned long highest_paddr; in setup_arch() local324 highest_paddr = 0UL; in setup_arch()332 if (highest_paddr < top) in setup_arch()333 highest_paddr = top; in setup_arch()