46#define NOTE_MAX_BUFFER 64
uint64_t note_queue_length(note_queue_t *queue)
Get the length of a note queue.
uint64_t note_queue_write(note_queue_t *queue, const void *buffer, uint64_t count)
Write a note to a note queue.
note_queue_flag_t
Note queue flags.
#define NOTE_MAX_BUFFER
Maximum size of a notes buffer.
void note_queue_init(note_queue_t *queue)
Initialize a note queue.
void note_interrupt_handler(interrupt_frame_t *frame, cpu_t *self)
Note interrupt handler.
@ NOTE_QUEUE_RECIEVED_KILL
#define CONFIG_MAX_NOTES
Maximum note queue configuration.
__UINT64_TYPE__ pid_t
Process Identifier.
EFI_PHYSICAL_ADDRESS buffer
A simple ticket lock implementation.