Searched refs:highest_paddr (Results 1 – 1 of 1) sorted by relevance
301 unsigned long highest_paddr; in setup_arch() local344 highest_paddr = 0UL; in setup_arch()352 if (highest_paddr < top) in setup_arch()353 highest_paddr = top; in setup_arch()