Lines Matching refs:MIPS
76 BHND_DEVICE(MIPS, MIPS74K, NULL, NULL, BHND_DF_SOC),
169 * MIPS CPU */
176 /* Initialize the generic BHND MIPS driver state */
213 KASSERT(isrc->cpuirq != NULL, ("no assigned MIPS IRQ"));
228 KASSERT(isrc->cpuirq != NULL, ("no assigned MIPS IRQ"));
254 * Disable routing of backplane interrupt vector @p ivec to MIPS IRQ
262 KASSERT(mips_irq < sc->bcm_mips.num_cpuirqs, ("invalid MIPS IRQ %u",
264 KASSERT(mips_irq < BCM_MIPS74K_NUM_INTR, ("unsupported MIPS IRQ %u",
281 KASSERT(mips_irq < sc->bcm_mips.num_cpuirqs, ("invalid MIPS IRQ %u",
283 KASSERT(mips_irq < BCM_MIPS74K_NUM_INTR, ("unsupported MIPS IRQ %u",
292 /* our MIPS CPU interrupt filter */
309 /* Fetch mask of interrupt vectors routed to this MIPS IRQ */
315 /* Ignore interrupts not routed to this MIPS IRQ */