Searched refs:vttbr_el2 (Results 1 – 6 of 6) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_hyp.c | 522 WRITE_SPECIALREG(vttbr_el2, hyp->vttbr_el2); in vmm_hyp_call_guest()
652 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()
653 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
692 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()
707 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()
708 WRITE_SPECIALREG(vttbr_el2, vttbr); in VMM_HYP_FUNC()
716 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 | 126 uint64_t vttbr_el2; member
|
| H A D | vmm_arm64.c | 1135 hyp->vttbr_el2 = pmap_to_ttbr0(pmap); in vmmops_run()
|
| /freebsd/sys/arm64/arm64/ |
| H A D | locore.S | 425 msr vttbr_el2, xzr
|