![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Handler for the host irq. More...
#include <virtio-rng-device>
Additional Inherited Members | |
![]() | |
typedef RPC_IFACE | Interface |
Data type of the IPC interface definition. | |
![]() | |
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. | |
![]() | |
Cap< L4::Irq > | obj_cap () const |
Get the (typed) capability to this object. | |
![]() | |
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. | |
![]() | |
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. | |
Handler for the host irq.
An L4::Irqep_t
to handle irqs send to the server.
Definition at line 51 of file virtio-rng-device.