Symbol: TLBI_VA_SHIFT
sys/arm64/arm64/pmap.c
452
#define TLBI_VA_SHIFT 12
sys/arm64/vmm/vmm_hyp.c
843
#define TLBI_VA_SHIFT 12