Searched refs:TCR_EL1 (Results 1 – 4 of 4) sorted by relevance
51 ctxt->sys_regs[TCR_EL1] = read_sysreg_el1(SYS_TCR); in __sysreg_save_el1_state()125 write_sysreg_el1(ctxt->sys_regs[TCR_EL1], SYS_TCR); in __sysreg_restore_el1_state()
120 TCR_EL1, /* Translation Control Register */ enumerator184 #define c2_TTBCR (TCR_EL1 * 2) /* Translation Table Base Control R. */
89 case TCR_EL1: return read_sysreg_s(SYS_TCR_EL12); in vcpu_read_sys_reg()132 case TCR_EL1: write_sysreg_s(val, SYS_TCR_EL12); return; in vcpu_write_sys_reg()1505 { SYS_DESC(SYS_TCR_EL1), access_vm_reg, reset_val, TCR_EL1, 0 },
744 case-1 TTBR0_EL1 with TCR_EL1.NFD0 == 1.746 case-3 TTBR1_EL1 with TCR_EL1.NFD1 == 1.1342 table entries. When enabled in TCR_EL1 (HA and HD bits) on