get_message_queue_header

The Message_Queue_Header of a channel, given its Header: a pointer into the shared region, valid until the channel is released. Handy for asking how much is waiting (write_cursor - read_cursor).

get_message_queue_header :: (header: *Header) -> *Message_Queue_Header