Searched refs:vttbr (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_handlers.c | 84 vmm_nvhe_s2_tlbi_range(uint64_t vttbr, vm_offset_t sva, vm_offset_t eva, in vmm_nvhe_s2_tlbi_range() argument
87 vmm_call_hyp(HYP_S2_TLBI_RANGE, vttbr, sva, eva, final_only); in vmm_nvhe_s2_tlbi_range()
91 (uint64_t vttbr, vm_offset_t sva, vm_offset_t eva, bool final_only))
103 vmm_nvhe_s2_tlbi_all(uint64_t vttbr) in vmm_nvhe_s2_tlbi_all() argument
105 vmm_call_hyp(HYP_S2_TLBI_ALL, vttbr); in vmm_nvhe_s2_tlbi_all()
108 DEFINE_IFUNC(, void, vmm_s2_tlbi_all, (uint64_t vttbr))
|
| H A D | vmm_hyp.c | 617 VMM_HYP_FUNC(s2_tlbi_range)(uint64_t vttbr, vm_offset_t sva, vm_offset_t eva, in VMM_HYP_FUNC()
638 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
682 VMM_HYP_FUNC(s2_tlbi_all)(uint64_t vttbr) in VMM_HYP_FUNC()
693 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
|