Searched refs:c14_CNTKCTL (Results 1 – 4 of 4) sorted by relevance
50 #define c14_CNTKCTL 28 /* Timer Control Register (PL1) */ macro
97 #define c14_CNTKCTL (CNTKCTL_EL1 * 2) /* Timer Control Register (PL1) */ macro
313 str r2, [vcpu, #CP15_OFFSET(c14_CNTKCTL)]332 ldr r2, [vcpu, #CP15_OFFSET(c14_CNTKCTL)]
378 NULL, reset_val, c14_CNTKCTL, 0x00000000 },