Searched refs:TCR_EL1_DTBI (Results 1 – 1 of 1) sorted by relevance
1017 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE) macro1019 #define TCR_EL1_DTBI 0 macro1034 TCR_EL1_DTBI | TCR_EL1_ASID | TCR_EL1_EXTRA)