Symbol: CP15_TPIDRURO
sys/arm/include/cpu.h
267
_RF0(cp15_tpidruro_get, CP15_TPIDRURO(%0))
sys/arm/include/cpu.h
268
_WF1(cp15_tpidruro_set, CP15_TPIDRURO(%0))