L4Re - L4 Runtime Environment
|
Event_buffer utility class. More...
Public Member Functions | |
void * | buf () const throw () |
Return the buffer. More... | |
long | attach (L4::Cap< L4Re::Dataspace > ds, L4::Cap< L4Re::Rm > rm) throw () |
Attach event buffer from address space. More... | |
long | detach (L4::Cap< L4Re::Rm > rm) throw () |
Detach event buffer from address space. More... | |
![]() | |
Event_buffer_t (void *buffer, l4_addr_t size) | |
Initialize event buffer. More... | |
Event * | next () throw () |
Next event in buffer. More... | |
bool | put (Event const &ev) throw () |
Put event into buffer at current position. More... | |
Event_buffer utility class.
Definition at line 36 of file event_buffer.
|
inline |
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(), and L4Re::Rm::Search_addr.
|
inline |
|
inline |
Detach event buffer from address space.
rm | Region manager to detach buffer from. |
Definition at line 77 of file event_buffer.