![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
#include <event>
Inheritance diagram for L4Re::Event_buffer_t< PAYLOAD >:
Collaboration diagram for L4Re::Event_buffer_t< PAYLOAD >:Data Structures | |
| struct | Event |
| Event structure used in buffer. More... | |
Public Member Functions | |
| Event_buffer_t (void *buffer, l4_addr_t size) | |
| Initialize event buffer. | |
| Event * | next () noexcept |
| Next event in buffer. | |
| bool | put (Event const &ev) noexcept |
| Put event into buffer at current position. | |
Event buffer class.
|
inline |
|
inlinenoexcept |
Next event in buffer.
Definition at line 303 of file event.
References L4Re::Event_buffer_t< PAYLOAD >::Event::time.
|
inlinenoexcept |
Put event into buffer at current position.
| ev | Event to put into the buffer. |
Definition at line 320 of file event.
References l4_wmb(), and L4Re::Event_buffer_t< PAYLOAD >::Event::time.
Here is the call graph for this function: