Searched refs:TCR_PS_BITS_4GB (Results 1 – 3 of 3) sorted by relevance
59 return TCR_PS_BITS_4GB; in calc_physical_addr_size_bits()
81 return TCR_PS_BITS_4GB; in tcr_physical_addr_size_bits()
595 #define TCR_PS_BITS_4GB ULL(0x0) macro