Searched refs:TCR_PS_BITS_4GB (Results 1 – 3 of 3) sorted by relevance
56 return TCR_PS_BITS_4GB; in calc_physical_addr_size_bits()
45 return TCR_PS_BITS_4GB; in calc_physical_addr_size_bits()
325 #define TCR_PS_BITS_4GB U(0x0) macro