#ifndef SYSCALL_IPCMBUS_H_
#define SYSCALL_IPCMBUS_H_

#include <stdint.h>
#include <stddef.h>
#include "syscall/syscall.h"

int32_t SYSCALL3(sys_ipc_mbusmake, name1, objsize1, objmax1);
int32_t SYSCALL1(sys_ipc_mbusdelete, name1);
int32_t SYSCALL2(sys_ipc_mbuspublish, name1, buffer1);
int32_t SYSCALL2(sys_ipc_mbusconsume, name1, buffer1);
int32_t SYSCALL1(sys_ipc_mbusattch, name1);
int32_t SYSCALL1(sys_ipc_mbusdttch, name1);

#endif // SYSCALL_IPCMBUS_H_