Searched refs:TPIDRPRW (Results 1 – 1 of 1) sorted by relevance
129 #define TPIDRPRW CP15_REG(c13, 0, c0, 4) /* PL1 only Thread ID Register */ macro135 return (VOID *)(UINTPTR)ARM_SYSREG_READ(TPIDRPRW); in ArchCurrTaskGet()140 ARM_SYSREG_WRITE(TPIDRPRW, (UINT32)(UINTPTR)val); in ArchCurrTaskSet()