Symbol: CP15_CNTKCTL
sys/arm/include/cpu.h
275
_RF0(cp15_cntkctl_get, CP15_CNTKCTL(%0))
sys/arm/include/cpu.h
276
_WF1(cp15_cntkctl_set, CP15_CNTKCTL(%0))