L4Re Operating System Framework
Interface and Usage Documentation
|
Epiface implementation for interrupt handlers. More...
#include <ipc_epiface>
Public Member Functions | |
l4_msgtag_t | dispatch (l4_msgtag_t, unsigned, l4_utcb_t *) final |
The abstract handler for client requests to the object. | |
Cap< L4::Irq > | obj_cap () const |
Get the (typed) capability to this object. | |
Public Member Functions inherited from L4::Epiface_t0< RPC_IFACE, BASE > | |
Type_info::Demand | get_buffer_demand () const |
Get the server-side buffer demand based in IFACE. | |
Cap< RPC_IFACE > | obj_cap () const |
Get the (typed) capability to this object. | |
Public Member Functions inherited from L4::Epiface | |
Epiface () | |
Make a server object. | |
virtual | ~Epiface ()=0 |
Destroy the object. | |
Stored_cap | obj_cap () const |
Get the capability to the kernel object belonging to this object. | |
Server_iface * | server_iface () const |
Get pointer to server interface at which the object is currently registered. | |
int | set_server (Server_iface *srv, Cap< void > cap, bool managed=false) |
Set server registration info for the object. | |
void | set_obj_cap (Cap< void > const &cap) |
Deprecated server registration function. | |
Additional Inherited Members | |
Public Types inherited from L4::Epiface_t0< RPC_IFACE, BASE > | |
typedef RPC_IFACE | Interface |
Data type of the IPC interface definition. | |
Public Types inherited from L4::Epiface | |
typedef Ipc_svr::Server_iface | Server_iface |
Type for abstract server interface. | |
typedef Ipc_svr::Server_iface::Demand | Demand |
Type for server-side receive buffer demand. | |
Epiface implementation for interrupt handlers.
Derived | Irq handler implementation class. The class must provide a single function handle_irq(). |
BASE | Base Epiface class. |
Definition at line 293 of file ipc_epiface.
|
inlinefinalvirtual |
The abstract handler for client requests to the object.
tag | The message tag for this invocation. |
rights | The rights bits in the invoked capability. |
utcb | The UTCB used for the invocation. |
-L4_ENOREPLY | No reply message is send. |
<0 | Error, reply with error code. |
>=0 | Success, reply with return value. |
This function must be implemented by application specific server objects.
Implements L4::Epiface.
Definition at line 295 of file ipc_epiface.
References L4_ENOREPLY, and l4_msgtag().
|
inline |
Get the (typed) capability to this object.
Definition at line 305 of file ipc_epiface.