16 lines
460 B
C
16 lines
460 B
C
#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_
|