Searched refs:TCR_EL3_RSVD (Results 1 – 2 of 2) sorted by relevance
103 #define TCR_EL3_RSVD (1 << 31 | 1 << 23) macro
74 tcr = TCR_EL3_RSVD | (ips << 16); in get_tcr()