Searched refs:s2_tlbi_all (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm_nvhe.c | 110 VMM_HYP_FUNC(s2_tlbi_all)(x1); in vmm_hyp_enter() local |
| H A D | vmm_hyp.c | 682 VMM_HYP_FUNC(s2_tlbi_all)(uint64_t vttbr) in VMM_HYP_FUNC() argument |