#define NOTE_MAX
Maximum size of a notes buffer.
bool note_handle_pending(interrupt_frame_t *frame, cpu_t *self)
Handle pending notes for the current thread.
note_queue_flag_t
Note queue flags.
uint64_t note_send(note_queue_t *queue, const char *string)
Write a note to a note queue.
uint64_t note_amount(note_queue_t *queue)
The amount of pending notes in a note queue, including special notes.
void note_handler_init(note_handler_t *handler)
Initialize a note handler.
void note_queue_init(note_queue_t *queue)
Initialize a note queue.
@ NOTE_QUEUE_RECEIVED_KILL
@ NOTE_QUEUE_HANDLING
User space is currently handling a note.
#define CONFIG_MAX_NOTES
Maximum note queue configuration.
void(* note_func_t)(char *note)
Note handler function type.
__UINT64_TYPE__ pid_t
Process Identifier.
EFI_PHYSICAL_ADDRESS buffer
A simple ticket lock implementation.
Per-process note handler.
interrupt_frame_t noteFrame
The interrupt frame to return to after handling a note.