
/* auto-generated by gen_syscalls.py, don't edit */

#ifndef _ASMLANGUAGE

#include <syscall_list.h>
#include <syscall_macros.h>

#ifdef __cplusplus
extern "C" {
#endif

K_SYSCALL_DECLARE5(K_SYSCALL_IPM_SEND, ipm_send, int, struct device *, ipmdev, int, wait, u32_t, id, const void *, data, int, size)

K_SYSCALL_DECLARE1(K_SYSCALL_IPM_MAX_DATA_SIZE_GET, ipm_max_data_size_get, int, struct device *, ipmdev)

K_SYSCALL_DECLARE1(K_SYSCALL_IPM_MAX_ID_VAL_GET, ipm_max_id_val_get, u32_t, struct device *, ipmdev)

K_SYSCALL_DECLARE2(K_SYSCALL_IPM_SET_ENABLED, ipm_set_enabled, int, struct device *, ipmdev, int, enable)

#ifdef __cplusplus
}
#endif

#endif
