Symbol: HYP_EL2_TLBI_VA
sys/arm64/vmm/vmm_mmu.c
411
vmm_call_hyp(HYP_EL2_TLBI, HYP_EL2_TLBI_VA, sva, size);
sys/arm64/vmm/vmm_nvhe.c
76
case HYP_EL2_TLBI_VA: