blob: b6947d10a652998599e2da6c397a199401766a1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <ipc.h>
#include <syscalls.h>
int syscall_ipc_register_endpoint(u32 id) {
return ipc_register_endpoint(id);
}
int syscall_ipc_read(u8 *buffer, u32 length, u32 *sender_pid) {
return ipc_read(buffer, length, sender_pid);
}
int syscall_ipc_write_to_process(int pid, u8 *buffer, u32 length) {
return ipc_write_to_process(pid, buffer, length);
}
int syscall_ipc_write(int endpoint, u8 *buffer, u32 length) {
return ipc_write(endpoint, buffer, length);
}
|
