/**
  * The <code>isPosted()</code> method checks whether the specified interrupt is currently posted.
  *
  * @param inum the interrupt number to check
  * @return true if the specified interrupt is currently posted; false otherwise
  */
 public boolean isPosted(int inum) {
   return interrupts.isPosted(inum);
 }
 /**
  * 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);
 }
 /**
  * The <code>isEnabled()</code> method checks whether the specified interrupt is currently
  * enabled.
  *
  * @param inum the interrupt number to check
  * @return true if the specified interrupt is currently enabled; false otherwise
  */
 public boolean isEnabled(int inum) {
   return interrupts.isEnabled(inum);
 }