L4Re Operating System Framework
Interface and Usage Documentation
|
#include <event>
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 313 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 330 of file event.
References l4_wmb(), and L4Re::Event_buffer_t< PAYLOAD >::Event::time.