blob: 3eab562e1e076ee5b16cdc386059583b0c4fe6c0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef KNOB_IPC_H
#define KNOB_IPC_H
#include <pland/syscall.h>
//blocking, returns early if other process is dead.
//return value is number of bytes written.
uint32_t try_send_ipc(_task_handle_t to, void *buffer, uint32_t size);
//blocking, returns early if other process is dead.
//return value is number of bytes read.
uint32_t try_read_ipc(_task_handle_t from, void *buffer, uint32_t size);
void flush_ipc(_task_handle_t from);
#endif
|