Home
last modified time | relevance | path

Searched refs:tcr_el2 (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c88 uint64_t tcr_el2; member
168 vmm_call_hyp(vmmpmap_to_ttbr0(), stack_top, el2_regs->tcr_el2, in arm_setup_vectors()
331 el2_regs.tcr_el2 = TCR_EL2_RES1; in vmmops_modinit()
332 el2_regs.tcr_el2 |= min(pa_range_bits << TCR_EL2_PS_SHIFT, in vmmops_modinit()
334 el2_regs.tcr_el2 |= TCR_EL2_T0SZ(64 - EL2_VIRT_BITS); in vmmops_modinit()
335 el2_regs.tcr_el2 |= TCR_EL2_IRGN0_WBWA | TCR_EL2_ORGN0_WBWA; in vmmops_modinit()
337 el2_regs.tcr_el2 |= TCR_EL2_TG0_4K; in vmmops_modinit()
339 el2_regs.tcr_el2 |= TCR_EL2_TG0_16K; in vmmops_modinit()
344 el2_regs.tcr_el2 |= TCR_EL2_SH0_IS; in vmmops_modinit()
H A Dvmm_nvhe_exception.S89 msr tcr_el2, x2
H A Dvmm_hyp.c657 host_tcr = READ_SPECIALREG(tcr_el2); in VMM_HYP_FUNC()
658 WRITE_SPECIALREG(tcr_el2, host_tcr & ~HCR_TGE); in VMM_HYP_FUNC()
687 WRITE_SPECIALREG(tcr_el2, host_tcr); in VMM_HYP_FUNC()