Symbol: TLBI_VA_SHIFT
sys/arm64/arm64/pmap.c
443
#define TLBI_VA_SHIFT 12
sys/arm64/vmm/vmm_hyp.c
715
#define TLBI_VA_SHIFT 12