Searched refs:tlbi_asid (Results 1 – 3 of 3) sorted by relevance
34 #define tlbi_asid(x) (((uintptr_t)(x) & TLBI_ASID_MASK) << TLBI_ASID_SHIFT) macro
10315 vm_offset_t end = tlbi_asid(asid) | tlbi_addr(va + length);10316 va = tlbi_asid(asid) | tlbi_addr(va);
35 #define tlbi_asid(x) (((uintptr_t)(x) & TLBI_ASID_MASK) << TLBI_ASID_SHIFT) macro331 …return tlbi_asid(asid) | RTLBI_TG(pmap_page_shift) | rtlbi_scale(scale) | rtlbi_num(num) | rtlbi_a… in generate_rtlbi_param()