Lines Matching defs:nintr
317 int i, nbits, nintr;
439 nintr = 32 * (typer & GICD_TYPER_ITLINE_M);
440 nintr += 32; /* ICD_ICTR + 1, irq 0-31 is SGI, 32+ is PPI */
441 sc->sc_nintr = nintr;
476 printf(" nirq %d nredist %d", nintr, sc->sc_num_redist);
540 for (i = 1; i < nintr / 32; i++) {
547 for (i = 4; i < nintr; i += 4) {
554 for (i = 1; i < nintr / 32; i++) {
561 for (i = 2; i < nintr / 16; i++) {
569 sc->sc_handler = mallocarray(nintr,
571 for (i = 0; i < nintr; i++)