-#include "syscalls_pointers_override.h"
-
#ifdef CONFIG_X86_64
#include "x86-64-syscalls-3.0.4_pointers.h"
#endif
#ifdef CONFIG_X86_32
#include "x86-32-syscalls-3.1.0-rc6_pointers.h"
#endif
+
+#ifdef CONFIG_ARM
+#include "arm-32-syscalls-2.6.38_pointers.h"
+#endif