Searched refs:ipis (Results 1 – 1 of 1) sorted by relevance
115 u_int ipis; member262 cnt = p->irqs + p->ipis; in powerpc_map_irq()325 powerpc_register_pic(device_t dev, uint32_t node, u_int irqs, u_int ipis, in powerpc_register_pic() argument347 p->ipis = ipis; in powerpc_register_pic()354 irq = p->base + irqs + ipis; in powerpc_register_pic()392 piclist[idx].ipis = 4; in powerpc_get_irq()427 KASSERT(piclist[n].ipis != 0, in powerpc_enable_intr()