Searched refs:s2_tlbi_range (Results 1 – 2 of 2) sorted by relevance
107 VMM_HYP_FUNC(s2_tlbi_range)(x1, x2, x3, x4); in vmm_hyp_enter() local
632 VMM_HYP_FUNC(s2_tlbi_range)(uint64_t vttbr, vm_offset_t sva, vm_offset_t eva, in VMM_HYP_FUNC() argument