Symbol: HYP_EL2_TLBI
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
104
case HYP_EL2_TLBI: