Searched defs:CNTKCTL_EL1 (Results 1 – 4 of 4) sorted by relevance
166 CNTKCTL_EL1, /* Timer Control Register (EL1) */ enumerator
873 CNTKCTL_EL1 = 0xc708, // 11 000 1110 0001 000 enumerator