Searched refs:tcr_ps_bits (Results 1 – 1 of 1) sorted by relevance
933 uint64_t tcr_ps_bits; in get_tcr() local935 tcr_ps_bits = TCR_PS_BITS; in get_tcr()938 tcr = (tcr_ps_bits << TCR_EL1_IPS_SHIFT); in get_tcr()945 tcr = (tcr_ps_bits << TCR_EL3_PS_SHIFT); in get_tcr()
