/**
  * The <code>isPending()</code> method checks whether the specified interrupt is currently
  * pending.
  *
  * @param inum the interrupt number to check
  * @return true if the specified interrupt is currently pending; false otherwise
  */
 public boolean isPending(int inum) {
   return interrupts.isPending(inum);
 }