Patch title: Release 94 bulk changes
Abstract:
File: /pliant/language/os/linux_kernel.c
Key:
    Removed line
    Added line
   
// this has been extracted from various parts of GCC and Lin
// then modifyed by Hubert Tonneau in order to get rid of er
// and simple types definitions and the beginning



// this has been extracted from various parts of GCC and Lin
// then modifyed by Hubert Tonneau in order to get rid of er
// and simple types definitions and the beginning



#define __NR_pivot_root 217

/* user-visible error numbers are in the range -1 - -122: se


#define _syscall5(type,name,type1,arg1,type2,arg2,type3,arg3
  type5,arg5) \
type name (type1 arg1,type2 arg2,type3 arg3,type4 arg4,type5
{ \
long __res; \
__asm__ volatile ("int $0x80" \
: "=a" (__res) \
: "0" (__NR_##name),"b" ((long)(arg1)),"c" ((long)(arg2)), 
  "d" ((long)(arg3)),"S" ((long)(arg4)),"D" ((long)(arg5)))
__syscall_return(type,__res); \
}
/* user-visible error numbers are in the range -1 - -122: se


#define _syscall5(type,name,type1,arg1,type2,arg2,type3,arg3
  type5,arg5) \
type name (type1 arg1,type2 arg2,type3 arg3,type4 arg4,type5
{ \
long __res; \
__asm__ volatile ("int $0x80" \
: "=a" (__res) \
: "0" (__NR_##name),"b" ((long)(arg1)),"c" ((long)(arg2)), 
  "d" ((long)(arg3)),"S" ((long)(arg4)),"D" ((long)(arg5)))
__syscall_return(type,__res); \
}