Searched refs:TPIDRURO (Results 1 – 1 of 1) sorted by relevance
128 #define TPIDRURO CP15_REG(c13, 0, c0, 3) /* User Read-Only Thread ID Register */ macro145 ARM_SYSREG_WRITE(TPIDRURO, (UINT32)val); in ArchCurrUserTaskSet()