Searched refs:itlinesnumber (Results 1 – 1 of 1) sorted by relevance
419 int itlinesnumber = (s->num_irq / 32) - 1; in gicd_readl() local431 (0xf << 19) | itlinesnumber; in gicd_readl()