Searched refs:TCR_EL1_RSVD (Results 1 – 2 of 2) sorted by relevance
101 #define TCR_EL1_RSVD (1 << 31) macro
70 tcr = TCR_EL1_RSVD | (ips << 32) | TCR_EPD1_DISABLE; in get_tcr()