Lines Matching defs:ipending
308 uint32_t ipending;
332 while (ppl < (ipl = splintr(&ipending))) {
334 if (!(ipending & MIPS_INT_MASK_4) &&
335 !(ipending & MIPS_INT_MASK_2)) {
336 dbg_bit_print(ipending);
345 if (ipending & MIPS_INT_MASK_4) {
346 tx39_irqhigh_intr(ipending, pc, status);
350 if (ipending & MIPS_INT_MASK_2) {
393 if (ipending & MIPS_INT_MASK_1) {
436 tx39_irqhigh_intr(uint32_t ipending, vaddr_t pc, uint32_t status)
Indexes created Mon Nov 03 21:09:55 GMT 2025