Searched refs:TCR_TBID0 (Results 1 – 2 of 2) sorted by relevance
80 tbid = tcr & TCR_TBID0; in effective_tbi()
273 #define TCR_TBID0 TCR_EL1_TBID0 macro