77 #define NIOS2_WRITE_STATUS(src) \  argument
78     do { __builtin_wrctl(0, src); } while (0)
89 #define NIOS2_WRITE_IENABLE(src) \  argument
90     do { __builtin_wrctl(3, src); } while (0)
104 #define NIOS2_WRITE_PTEADDR(src) \  argument
105     do { __builtin_wrctl(8, src); } while (0)
110 #define NIOS2_WRITE_TLBACC(src) \  argument
111     do { __builtin_wrctl(9, src); } while (0)
116 #define NIOS2_WRITE_TLBMISC(src) \  argument
117     do { __builtin_wrctl(10, src); } while (0)
122 #define NIOS2_WRITE_ECCINJ(src) \  argument
123     do { __builtin_wrctl(11, src); } while (0)
128 #define NIOS2_WRITE_CONFIG(src) \  argument
129     do { __builtin_wrctl(13, src); } while (0)
134 #define NIOS2_WRITE_MPUBASE(src) \  argument
135     do { __builtin_wrctl(14, src); } while (0)
140 #define NIOS2_WRITE_MPUACC(src) \  argument
141     do { __builtin_wrctl(15, src); } while (0)