Symbol: HYP_S2_TLBI_ALL
sys/arm64/vmm/vmm_handlers.c
105
vmm_call_hyp(HYP_S2_TLBI_ALL, vttbr);
sys/arm64/vmm/vmm_nvhe.c
109
case HYP_S2_TLBI_ALL: