Very Simple Kernel 0.1.0
Loading...
Searching...
No Matches
vsk_Inbox.h File Reference
#include "ctb_Queue.h"
#include "vsk_Message.h"
#include "vsk_Task.h"

Go to the source code of this file.

Data Structures

struct  vsk_Inbox_Class
 Inbox class. More...
 
struct  vsk_Inbox
 Inbox. More...
 

Typedefs

typedef struct vsk_Inbox_Class vsk_Inbox_Class_t
 Inbox class.
 
typedef struct vsk_Inbox vsk_Inbox_t
 Inbox.
 

Functions

vsk_Inbox_Class_tvsk_Inbox_Class_init (vsk_Inbox_Class_t *const cls)
 Initializes the Inbox class.
 
void vsk_Inbox_Class_onTick (vsk_Inbox_Class_t *const cls)
 Propagates the system tick to all inboxes.
 
vsk_Inbox_tvsk_Inbox_init (vsk_Inbox_t *const self, vsk_Task_t *const task)
 Initializes an Inbox.
 
bool vsk_Inbox_isEmpty (vsk_Inbox_t *const self)
 Checks if the inbox is empty.
 
void vsk_Inbox_postMessage (vsk_Inbox_t *const self, vsk_Message_t *const message)
 Posts a message to the inbox.
 
vsk_Message_tvsk_Inbox_readMessage (vsk_Inbox_t *const self)
 Reads a message from the inbox.
 
void vsk_Inbox_clear (vsk_Inbox_t *const self)
 Clears the inbox.
 

Variables

vsk_Inbox_Class_t vsk_Inbox_Class
 Inbox class instance.