Searched refs:kTLBIMask (Results 1 – 2 of 2) sorted by relevance
36 static constexpr uint64_t kTLBIMask = ((1UL << 44) - 1); variable
385 asm("tlbi vaae1is, %0" ::"r"(((va >> 12) & kTLBIMask))); in flush_va_if_accessed()390 asm("tlbi vae1is, %0" ::"r"(((va >> 12) & kTLBIMask) | (uint64_t(asid) << 48))); in flush_va_if_accessed()