L4Re Operating System Framework
Interface and Usage Documentation
|
Event_buffer utility class. More...
#include <event_buffer>
Public Member Functions | |
void * | buf () const noexcept |
Return the buffer. | |
long | attach (L4::Cap< L4Re::Dataspace > ds, L4::Cap< L4Re::Rm > rm) noexcept |
Attach event buffer from address space. | |
long | detach (L4::Cap< L4Re::Rm > rm) noexcept |
Detach event buffer from address space. | |
Public Member Functions inherited from L4Re::Event_buffer_t< PAYLOAD > | |
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 utility class.
Definition at line 36 of file event_buffer.
|
inlinenoexcept |
Attach event buffer from address space.
ds | Dataspace of the event buffer. |
rm | Region manager to attach buffer to. |
Definition at line 56 of file event_buffer.
References L4::Ipc::make_cap_rw(), L4Re::Rm::F::RW, and L4Re::Rm::F::Search_addr.
|
inlinenoexcept |
|
inlinenoexcept |
Detach event buffer from address space.
rm | Region manager to detach buffer from. |
Definition at line 79 of file event_buffer.