![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
An event buffer consumer. More...
#include <event_buffer>
Public Member Functions | |
| template<typename CB, typename D> | |
| void | foreach_available_event (CB const &cb, D data=D()) |
| Call function on every available event. | |
| template<typename CB, typename D> | |
| void | process (L4::Cap< L4::Irq > irq, L4::Cap< L4::Thread > thread, CB const &cb, D data=D()) |
| Continuously wait for events and process them. | |
| Public Member Functions inherited from L4Re::Util::Event_buffer_t< PAYLOAD > | |
| 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 * | next () noexcept |
| Next event in buffer. | |
| bool | put (Event const &ev) noexcept |
| Put event into buffer at current position. | |
An event buffer consumer.
Definition at line 83 of file event_buffer.
|
inline |
Call function on every available event.
| cb | Function callback. |
| data | Data to pass as an argument to the callback. |
Definition at line 94 of file event_buffer.
Referenced by L4Re::Util::Event_buffer_consumer_t< Default_event_payload >::process().
|
inline |
Continuously wait for events and process them.
| irq | Event signal to wait for. |
| thread | Thread capability of the thread calling this function. |
| cb | Callback function that is called for each received event. |
| data | Data to pass as an argument to the processing callback. |
Definition at line 115 of file event_buffer.