Searched refs:TCR_PS_BITS_64GB (Results 1 – 3 of 3) sorted by relevance
57 return TCR_PS_BITS_64GB; in calc_physical_addr_size_bits()
79 return TCR_PS_BITS_64GB; in tcr_physical_addr_size_bits()
596 #define TCR_PS_BITS_64GB ULL(0x1) macro