#ifndef SYSCALL_IPCPIPE_H_
#define SYSCALL_IPCPIPE_H_

#include "syscall.h"

int32_t SYSCALL5(sys_ipcpipe, pid1, pipenum1, cmd1, buffer1, len1);

#endif // SYSCALL_IPCPIPE_H_