#include <linux/syscalls.h>
#include "x86-64-syscalls-3.10.0-rc7_integers_override.h"
#include "syscalls_integers_override.h"
#include <linux/syscalls.h>
#include "x86-64-syscalls-3.10.0-rc7_integers_override.h"
#include "syscalls_integers_override.h"