Symbol: CP15_CNTHCTL
sys/arm/include/cpu.h
285
_RF0(cp15_cnthctl_get, CP15_CNTHCTL(%0))
sys/arm/include/cpu.h
286
_WF1(cp15_cnthctl_set, CP15_CNTHCTL(%0))