#include <linux/types.h>
#include "syscalls.h"

_syscall1(int,pipe,int *,filedes)