Symbol: CP15_TPIDRPRW
sys/arm/include/cpu.h
269
_RF0(cp15_tpidrpwr_get, CP15_TPIDRPRW(%0))
sys/arm/include/cpu.h
270
_WF1(cp15_tpidrpwr_set, CP15_TPIDRPRW(%0))