Searched refs:vttbr_el2 (Results 1 – 6 of 6) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_hyp.c | 507 WRITE_SPECIALREG(vttbr_el2, hyp->vttbr_el2); in vmm_hyp_call_guest()
637 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()
638 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
677 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()
692 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()
693 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
701 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()
|
| H A D | vmm_hyp_exception.S | 178 msr vttbr_el2, x9
192 mrs x9, vttbr_el2
236 mrs x9, vttbr_el2
|
| H A D | vmm_nvhe_exception.S | 77 msr vttbr_el2, x9
|
| H A D | arm64.h | 125 uint64_t vttbr_el2; member
|
| H A D | vmm_arm64.c | 1129 hyp->vttbr_el2 = pmap_to_ttbr0(pmap); in vmmops_run()
|
| /freebsd/sys/arm64/arm64/ |
| H A D | locore.S | 410 msr vttbr_el2, xzr
|