Lines Matching defs:val
140 void intctl0_write(uint32_t val)
144 : : "r" (val));
148 void intctl1_write(uint32_t val)
152 : : "r" (val));
156 void intctl2_write(uint32_t val)
160 : : "r" (val));
164 void intctl3_write(uint32_t val)
168 : : "r" (val));
216 void intstr0_write(uint32_t val)
220 : : "r" (val));
224 void intstr1_write(uint32_t val)
228 : : "r" (val));
232 void intstr2_write(uint32_t val)
236 : : "r" (val));
240 void intstr3_write(uint32_t val)
244 : : "r" (val));
300 uint32_t val;
301 val = intpnd0_read() & intr_enabled0;
302 if (val)
303 return (ffs(val) - 1);
304 val = intpnd1_read() & intr_enabled1;
305 if (val)
306 return (32 + ffs(val) - 1);
307 val = intpnd2_read() & intr_enabled2;
308 if (val)
309 return (64 + ffs(val) - 1);
310 val = intpnd3_read() & intr_enabled3;
311 if (val)
312 return (96 + ffs(val) - 1);