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