Searched refs:TCR_TBID1_ENABLE (Results 1 – 2 of 2) sorted by relevance
958 #define TCR_TBID1_ENABLE TCR_TBID1_TBI_DATA_ONLY macro961 #define TCR_TBID1_ENABLE 0 macro1059 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE)
1771 new_tcr |= TCR_TBID1_ENABLE; in arm_set_kernel_tbi()