L4Re Operating System Framework
Interface and Usage Documentation
|
Convenience wrapper for getting access to an event object. More...
#include <event>
Public Types | |
enum | Mode { Mode_irq , Mode_polling } |
Modes of operation. More... | |
Public Member Functions | |
template<typename IRQ_TYPE > | |
int | init (L4::Cap< L4Re::Event > event, L4Re::Env const *env=L4Re::Env::env(), L4Re::Cap_alloc *ca=L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc)) |
Initialise an event object. | |
int | init_poll (L4::Cap< L4Re::Event > event, L4Re::Env const *env=L4Re::Env::env(), L4Re::Cap_alloc *ca=L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc)) |
Initialise an event object in polling mode. | |
L4Re::Event_buffer_t< PAYLOAD > & | buffer () |
Get event buffer. | |
L4::Cap< L4::Triggerable > | irq () const |
Get event IRQ. | |
Convenience wrapper for getting access to an event object.
After calling init() the class supplies the event-buffer and the associated IRQ object.
enum L4Re::Util::Event_t::Mode |
|
inline |
|
inline |
Initialise an event object.
IRQ_TYPE | Type used for handling notifications from the event provider. This must be derived from L4::Triggerable. |
event | Capability to event. |
env | Pointer to L4Re-Environment |
ca | Pointer to capability allocator. |
0 | Success |
-L4_ENOMEM | No memory to allocate required capabilities. |
<0 | Other IPC errors. |
Definition at line 70 of file event.
References L4Re::Rm::Unique_region< T >::get(), L4_ENOMEM, l4_error(), L4::Ipc::make_cap_rw(), L4Re::Rm::F::RW, and L4Re::Rm::F::Search_addr.
|
inline |
Initialise an event object in polling mode.
event | Capability to event. |
env | Pointer to L4Re-Environment |
ca | Pointer to capability allocator. |
0 | Success |
-L4_ENOMEM | No memory to allocate required capabilities. |
<0 | Other IPC errors. |
Definition at line 123 of file event.
References L4Re::Rm::Unique_region< T >::get(), L4_ENOMEM, L4::Ipc::make_cap_rw(), L4Re::Rm::F::RW, and L4Re::Rm::F::Search_addr.
|
inline |