Searched refs:c14_CNTKCTL (Results 1 – 4 of 4) sorted by relevance
42 ctxt->cp15[c14_CNTKCTL] = read_sysreg(CNTKCTL); in __sysreg_save_state()71 write_sysreg(ctxt->cp15[c14_CNTKCTL], CNTKCTL); in __sysreg_restore_state()
131 c14_CNTKCTL, /* Timer Control Register (PL1) */ enumerator
203 #define c14_CNTKCTL (CNTKCTL_EL1 * 2) /* Timer Control Register (PL1) */ macro
501 NULL, reset_val, c14_CNTKCTL, 0x00000000 },
