Lines Matching defs:addrtop
175 uint64_t addrtop, tbi;
177 addrtop = va & AARCH64_ADDRTOP_TAG;
178 tbi = addrtop ? TCR_TBI1 : TCR_TBI0;
180 if (addrtop == 0) {
192 addrtop = va & AARCH64_ADDRTOP_MSB;
193 if (addrtop == 0) {
208 uint64_t addrtop, tbi;
210 addrtop = va & AARCH64_ADDRTOP_TAG;
211 tbi = addrtop ? TCR_TBI1 : TCR_TBI0;
213 if (addrtop == 0) {