Symbol: CP15_TPIDRURW
sys/arm/include/cpu.h
265
_RF0(cp15_tpidrurw_get, CP15_TPIDRURW(%0))
sys/arm/include/cpu.h
266
_WF1(cp15_tpidrurw_set, CP15_TPIDRURW(%0))