text: #include "syslib.h"
  
  /*===========================================================================*
   *                               sys_irqctl				     *
   *===========================================================================*/
  PUBLIC int sys_irqctl(req, irq_vec, policy, hook_id)
  int req;				/* IRQ control request */
  int irq_vec;				/* IRQ vector to control */
  int policy;				/* bit mask for policy flags */
  int *hook_id;				/* ID of IRQ hook at kernel */
  {
      message m_irq;
      int s;
      
      m_irq.m_type = SYS_IRQCTL;
      m_irq.IRQ_REQUEST = req;
      m_irq.IRQ_VECTOR = irq_vec;
      m_irq.IRQ_POLICY = policy;
      m_irq.IRQ_HOOK_ID = *hook_id;
      
      s = _taskcall(SYSTASK, SYS_IRQCTL, &m_irq);
      if (req == IRQ_SETPOLICY) *hook_id = m_irq.IRQ_HOOK_ID;
      return(s);
  }
  
  
  