---

irq.h

/* $Id: irq.h 28276 2007-04-10 12:44:30Z adam $ */
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details. */

#ifndef __L4_IRQ_H__ 
#define __L4_IRQ_H__ 

#include <l4/sys/compiler.h>
#include <l4/util/port_io.h>

EXTERN_C_BEGIN

L4_INLINE void
l4util_irq_acknowledge(unsigned int irq);

static inline void
l4util_cli (void)
{
  __asm__ __volatile__ ("cli" : : : "memory");
}

static inline void
l4util_sti (void)
{
  __asm__ __volatile__ ("sti" : : : "memory");
}

static inline void
l4util_flags_save (l4_umword_t *flags)
{
  __asm__ __volatile__ ("pushf ; popq %0 " :"=g" (*flags) : :"memory");
}

static inline void
l4util_flags_restore (l4_umword_t *flags)
{
  __asm__ __volatile__ ("pushq %0 ; popf" : :"g" (*flags) : "memory");
}

L4_INLINE void
l4util_irq_acknowledge(unsigned int irq)
{
  if (irq > 7)
    {
      l4util_out8(0x60+(irq & 7), 0xA0);
      l4util_out8(0x0B,0xA0);
      if (l4util_in8(0xA0) == 0)
        l4util_out8(0x60 + 2, 0x20);
    } 
  else
    l4util_out8(0x60+irq, 0x20);     /* acknowledge the irq */
};

EXTERN_C_END

#endif

---