|
L4Re - L4 Runtime Environment
|
Event_buffer utility class. More...
Inheritance diagram for L4Re::Util::Event_buffer_t< PAYLOAD >:
Collaboration diagram for L4Re::Util::Event_buffer_t< PAYLOAD >: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... | |
Public Member Functions inherited from L4Re::Event_buffer_t< PAYLOAD > | |
| 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.
Here is the call graph for this function:
|
inline | |||||||||||||
|
inline | ||||||||||||||
Detach event buffer from address space.
| rm | Region manager to detach buffer from. |
Definition at line 77 of file event_buffer.