Symbol: CP15_CNTP_CTL
sys/arm/include/cpu.h
279
_RF0(cp15_cntp_ctl_get, CP15_CNTP_CTL(%0))
sys/arm/include/cpu.h
280
_WF1(cp15_cntp_ctl_set, CP15_CNTP_CTL(%0))