Searched refs:addrtop (Results 1 – 1 of 1) sorted by relevance
3251 int addrtop, tbi; in get_phys_addr_disabled() local3258 addrtop = (tbi ? 55 : 63); in get_phys_addr_disabled()3260 if (extract64(address, pamax, addrtop - pamax + 1) != 0) { in get_phys_addr_disabled()