Searched refs:CP15_TPIDRURO (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/include/arch/arm/machine/ | ||
H A D | sysreg.h | 275 #define CP15_TPIDRURO(rr) p15, 0, rr, c13, c0, 3 /* User Read-Only Thread ID Register */ macro |
Completed in 30 milliseconds