The Interrupt Controller (INTC) provides the ability to prioritize, block, and direct
Interrupt Requests (IRQs). It can fail by dropping or delaying IRQs, directing them to the
wrong core or handler, or by creating spurious IRQs.
According to this information, what should I do for detect dropping or delaying IRQs?