This implements the simpler IRQController class and adds a pending_interrupts() function to the class.