#ifndef __L4UTIL_SPARC_IRQ_H
#define __L4UTIL_SPARC_IRQ_H
-#include <l4/sys/kdebug.h>
+#include <l4/sys/compiler.h>
EXTERN_C_BEGIN
void
l4util_cli(void)
{
- enter_kdebug("l4util_cli");
+ extern void __do_not_use_l4util_cli(void);
+ __do_not_use_l4util_cli();
}
void
l4util_sti(void)
{
- enter_kdebug("l4util_sti");
+ extern void __do_not_use_l4util_sti(void);
+ __do_not_use_l4util_sti();
}
l4util_flags_save(l4_umword_t *flags)
{
(void)flags;
- enter_kdebug("l4util_flags_save");
+ extern void __do_not_use_l4util_flags_save(void);
+ __do_not_use_l4util_flags_save();
}
L4_INLINE
l4util_flags_restore(l4_umword_t *flags)
{
(void)flags;
- enter_kdebug("l4util_flags_restore");
+ extern void __do_not_use_l4util_flags_restore(void);
+ __do_not_use_l4util_flags_restore();
}
EXTERN_C_END