Searched refs:CP15_CNTKCTL (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/arch/arm/machine/
H A Dsysreg.h284 #define CP15_CNTKCTL(rr) p15, 0, rr, c14, c1, 0 /* Timer PL1 Control Register */ macro

Completed in 33 milliseconds