1 #ifndef __L4UTIL_SPARC_IRQ_H
2 #define __L4UTIL_SPARC_IRQ_H
4 #include <l4/sys/kdebug.h>
8 L4_INLINE void l4util_cli (void);
9 L4_INLINE void l4util_sti (void);
10 L4_INLINE void l4util_flags_save(l4_umword_t *flags);
11 L4_INLINE void l4util_flags_restore(l4_umword_t *flags);
17 enter_kdebug("l4util_cli");
25 enter_kdebug("l4util_sti");
31 l4util_flags_save(l4_umword_t *flags)
34 enter_kdebug("l4util_flags_save");
39 l4util_flags_restore(l4_umword_t *flags)
42 enter_kdebug("l4util_flags_restore");