Searched refs:CP15_ATS1CPW (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/include/arch/arm/machine/ | ||
H A D | sysreg.h | 168 #define CP15_ATS1CPW(rr) p15, 0, rr, c7, c8, 1 /* Stage 1 Current state PL1 write */ macro |
Completed in 27 milliseconds