Symbol: HYP_S2_TLBI_RANGE
sys/arm64/vmm/vmm_handlers.c
87
vmm_call_hyp(HYP_S2_TLBI_RANGE, vttbr, sva, eva, final_only);
sys/arm64/vmm/vmm_nvhe.c
106
case HYP_S2_TLBI_RANGE: