Searched refs:TCR_EL1_DTBI (Results 1 – 1 of 1) sorted by relevance
722 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE) macro724 #define TCR_EL1_DTBI 0 macro733 TCR_EL1_DTBI)