Searched refs:pl031_irq (Results 1 – 1 of 1) sorted by relevance
48 static int pl031_irq; variable122 uint32_t offset = (pl031_irq / 32) * 4; in gic_irq_pending()124 return readl(gic_ispendr + offset) & (1 << (pl031_irq & 31)); in gic_irq_pending()134 if (irqnr == pl031_irq) { in irq_handler()180 gic_enable_irq(pl031_irq); in check_rtc_irq()227 pl031_irq = SPI(fdt32_to_cpu(data[1])); in rtc_fdt_init()