Searched refs:ifpga_iintsrc_read (Results 1 – 1 of 1) sorted by relevance
115 ifpga_iintsrc_read(void) in ifpga_iintsrc_read() function306 hwpend = ifpga_iintsrc_read(); in ifpga_intr_dispatch()316 while ((ifpga_iintsrc_read() & hwpend) != 0) in ifpga_intr_dispatch()