Searched refs:TCR_EL1_DTBI (Results 1 – 1 of 1) sorted by relevance
1059 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE) macro1061 #define TCR_EL1_DTBI 0 macro1076 TCR_EL1_DTBI | TCR_EL1_ASID | TCR_EL1_EXTRA)