Searched refs:TCR_EL1 (Results 1 – 4 of 4) sorted by relevance
62 ctxt->sys_regs[TCR_EL1] = read_sysreg_el1(tcr); in __sysreg_save_el1_state()134 write_sysreg_el1(ctxt->sys_regs[TCR_EL1], tcr); in __sysreg_restore_el1_state()
114 TCR_EL1, /* Translation Control Register */ enumerator166 #define c2_TTBCR (TCR_EL1 * 2) /* Translation Table Base Control R. */
100 case TCR_EL1: return read_sysreg_s(tcr_EL12); in vcpu_read_sys_reg()143 case TCR_EL1: write_sysreg_s(val, tcr_EL12); return; in vcpu_write_sys_reg()1309 { SYS_DESC(SYS_TCR_EL1), access_vm_reg, reset_val, TCR_EL1, 0 },
1030 table entries. When enabled in TCR_EL1 (HA and HD bits) on
