Changes in kernel/arch/abs32le/src/abs32le.c [d32358f:3a2f8aa] in mainline

File:

• kernel/arch/abs32le/src/abs32le.c (modified) (2 diffs)

kernel/arch/abs32le/src/abs32le.c

@@ -39 +39 @@
 #include <arch/asm.h>
 
-#include <func.h>
 #include <config.h>
-#include <context.h>
 #include <interrupt.h>
 #include <ddi/irq.h>
@@ -109 +107 @@
 }
 
-void memsetb(void *dst, size_t cnt, uint8_t val)
-{
-        _memsetb(dst, cnt, val);
-}
-
-void memsetw(void *dst, size_t cnt, uint16_t val)
-{
-        _memsetw(dst, cnt, val);
-}
-
-void panic_printf(char *fmt, ...)
-{
-        va_list args;
-        
-        va_start(args, fmt);
-        vprintf(fmt, args);
-        va_end(args);
-        
-        halt();
-}
-
-int context_save_arch(context_t *ctx)
-{
-        return 1;
-}
-
-void context_restore_arch(context_t *ctx)
-{
-        while (true);
-}
-
 /** @}
  */