Searched refs:CP15_CNTKCTL (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/include/arch/arm/machine/ | ||
H A D | sysreg.h | 284 #define CP15_CNTKCTL(rr) p15, 0, rr, c14, c1, 0 /* Timer PL1 Control Register */ macro |
Completed in 34 milliseconds