Searched refs:CNTKCTL_EL1 (Results 1 – 3 of 3) sorted by relevance
60 ctxt->sys_regs[CNTKCTL_EL1] = read_sysreg_el1(SYS_CNTKCTL); in __sysreg_save_el1_state()134 write_sysreg_el1(ctxt->sys_regs[CNTKCTL_EL1], SYS_CNTKCTL); in __sysreg_restore_el1_state()
132 CNTKCTL_EL1, /* Timer Control Register (EL1) */ enumerator203 #define c14_CNTKCTL (CNTKCTL_EL1 * 2) /* Timer Control Register (PL1) */
101 case CNTKCTL_EL1: return read_sysreg_s(SYS_CNTKCTL_EL12); in vcpu_read_sys_reg()144 case CNTKCTL_EL1: write_sysreg_s(val, SYS_CNTKCTL_EL12); return; in vcpu_write_sys_reg()1540 { SYS_DESC(SYS_CNTKCTL_EL1), NULL, reset_val, CNTKCTL_EL1, 0},
