#ifdef CONFIG_X86_64
#include "x86-64-syscalls-3.10.0-rc7_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-3.4.25_pointers.h"
#endif

#ifdef CONFIG_PPC
#include "powerpc-32-syscalls-3.0.34_pointers.h"
#endif
