Searched refs:TCR_TBI1_TOPBYTE_IGNORED (Results 1 – 2 of 2) sorted by relevance
910 #define TCR_TBI1_TOPBYTE_IGNORED (1ULL << 38) macro1017 #define TCR_EL1_DTBI (TCR_TBI1_TOPBYTE_IGNORED | TCR_TBID1_ENABLE)
1772 new_tcr |= TCR_TBI1_TOPBYTE_IGNORED; in arm_set_kernel_tbi()