Symbol: TLBI_VA
sys/arm64/arm64/pmap.c
445
#define TLBI_VA(addr) (((addr) >> TLBI_VA_SHIFT) & TLBI_VA_MASK)
sys/arm64/vmm/vmm_hyp.c
717
#define TLBI_VA(addr) (((addr) >> TLBI_VA_SHIFT) & TLBI_VA_MASK)