#ifndef __UM_SYSTEM_GENERIC_H
#define __UM_SYSTEM_GENERIC_H
-#include "asm/arch/system.h"
-
-#undef switch_to
-#undef raw_local_irq_save
-#undef raw_local_irq_restore
-#undef raw_local_irq_disable
-#undef raw_local_irq_enable
-#undef raw_local_save_flags
-#undef raw_local_irq_restore
-#undef raw_local_irq_enable
-#undef raw_local_irq_disable
-#undef raw_local_irq_save
-#undef irqs_disabled
+#include "sysdep/system.h"
extern void *switch_to(void *prev, void *next, void *last);