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