Searched refs:vtcr_el2 (Results 1 – 2 of 2) sorted by relevance
89 uint64_t vtcr_el2; member153 WRITE_SPECIALREG(vtcr_el2, el2_regs->vtcr_el2); in arm_setup_vectors()169 sctlr_el2, el2_regs->vtcr_el2); in arm_setup_vectors()385 el2_regs.vtcr_el2 = VTCR_EL2_RES1; in vmmops_modinit()386 el2_regs.vtcr_el2 |= VTCR_EL2_IRGN0_WBWA | VTCR_EL2_ORGN0_WBWA; in vmmops_modinit()387 el2_regs.vtcr_el2 |= VTCR_EL2_T0SZ(64 - vmm_virt_bits); in vmmops_modinit()388 el2_regs.vtcr_el2 |= vmm_vtcr_el2_sl(vmm_pmap_levels); in vmmops_modinit()390 el2_regs.vtcr_el2 |= VTCR_EL2_TG0_4K; in vmmops_modinit()392 el2_regs.vtcr_el2 |= VTCR_EL2_TG0_16K; in vmmops_modinit()397 el2_regs.vtcr_el2 |= VTCR_EL2_SH0_IS; in vmmops_modinit()[all …]
94 msr vtcr_el2, x4