00001 #ifndef __L4UTIL__ARCH_ARCH__IRQ_H__
00002 #define __L4UTIL__ARCH_ARCH__IRQ_H__
00003
00004 #ifdef __GNUC__
00005
00006 #include <l4/sys/kdebug.h>
00007 #include <l4/sys/compiler.h>
00008
00009 EXTERN_C_BEGIN
00010
00013 static inline
00014 void
00015 l4util_cli (void)
00016 {
00017 l4_sys_cli();
00018 }
00019
00022 static inline
00023 void
00024 l4util_sti (void)
00025 {
00026 l4_sys_sti();
00027 }
00028
00029
00030
00031
00032
00033
00034
00035
00036 static inline
00037 void
00038 l4util_flags_save(l4_umword_t *flags)
00039 {
00040 enter_kdebug("l4util_flags_save");
00041 }
00042
00045 static inline
00046 void
00047 l4util_flags_restore(l4_umword_t *flags)
00048 {
00049 enter_kdebug("l4util_flags_restore");
00050 }
00051
00052 EXTERN_C_END
00053
00054 #endif //__GNUC__
00055
00056 #endif