TLBI_ASID_SHIFT 62 kernel/arch/arm64/src/mm/tlb.c uintptr_t val = (uintptr_t)asid << TLBI_ASID_SHIFT; TLBI_ASID_SHIFT 88 kernel/arch/arm64/src/mm/tlb.c val |= (uintptr_t) asid << TLBI_ASID_SHIFT;