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