Symbol: TLBI_VA_MASK
sys/arm64/arm64/pmap.c
444
#define TLBI_VA_MASK ((1ul << 44) - 1)
sys/arm64/vmm/vmm_hyp.c
716
#define TLBI_VA_MASK ((1ul << 44) - 1)