2019-06-27 17:00:23 -05:00
|
|
|
#ifndef KERNEL_MAILBOXES_H
|
|
|
|
#define KERNEL_MAILBOXES_H
|
2019-06-24 13:24:39 -05:00
|
|
|
|
2019-06-27 17:00:23 -05:00
|
|
|
#include <stdint.h>
|
|
|
|
#include <mailboxes.h>
|
2019-06-24 13:24:39 -05:00
|
|
|
|
2019-06-27 17:00:23 -05:00
|
|
|
uint32_t kernel_mailbox_new(uint16_t size);
|
|
|
|
void kernel_mailbox_free(uint32_t box);
|
|
|
|
void kernel_mailbox_send_msg(Message* user_msg);
|
|
|
|
void kernel_mailbox_get_msg(uint32_t box, Message* recv_msg, uint32_t buffer_sz);
|
2019-06-24 13:24:39 -05:00
|
|
|
|
|
|
|
#endif
|