74 #define NIOS2_READ_STATUS(dest) \  argument
75     do { dest = __builtin_rdctl(0); } while (0)
80 #define NIOS2_READ_ESTATUS(dest) \  argument
81     do { dest = __builtin_rdctl(1); } while (0)
83 #define NIOS2_READ_BSTATUS(dest) \  argument
84     do { dest = __builtin_rdctl(2); } while (0)
86 #define NIOS2_READ_IENABLE(dest) \  argument
87     do { dest = __builtin_rdctl(3); } while (0)
92 #define NIOS2_READ_IPENDING(dest) \  argument
93     do { dest = __builtin_rdctl(4); } while (0)
95 #define NIOS2_READ_CPUID(dest) \  argument
96     do { dest = __builtin_rdctl(5); } while (0)
98 #define NIOS2_READ_EXCEPTION(dest) \  argument
99     do { dest = __builtin_rdctl(7); } while (0)
101 #define NIOS2_READ_PTEADDR(dest) \  argument
102     do { dest = __builtin_rdctl(8); } while (0)
107 #define NIOS2_READ_TLBACC(dest) \  argument
108     do { dest = __builtin_rdctl(9); } while (0)
113 #define NIOS2_READ_TLBMISC(dest) \  argument
114     do { dest = __builtin_rdctl(10); } while (0)
119 #define NIOS2_READ_ECCINJ(dest) \  argument
120     do { dest = __builtin_rdctl(11); } while (0)
125 #define NIOS2_READ_BADADDR(dest) \  argument
126     do { dest = __builtin_rdctl(12); } while (0)
131 #define NIOS2_READ_CONFIG(dest) \  argument
132     do { dest = __builtin_rdctl(13); } while (0)
137 #define NIOS2_READ_MPUBASE(dest) \  argument
138     do { dest = __builtin_rdctl(14); } while (0)
143 #define NIOS2_READ_MPUACC(dest) \  argument
144     do { dest = __builtin_rdctl(15); } while (0)