L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
Block_device::Pm_for_dm< DM > Class Template Reference

Adapter class for processing PM events via a device manager instance. More...

#include <pm.h>

Inheritance diagram for Block_device::Pm_for_dm< DM >:
Collaboration diagram for Block_device::Pm_for_dm< DM >:

Additional Inherited Members

Public Types inherited from L4::Epiface_t0< void, Epiface >
using Interface
 Data type of the IPC interface definition.
Public Types inherited from L4::Epiface
using Server_iface = Ipc_svr::Server_iface
 Type for abstract server interface.
using Demand = Ipc_svr::Server_iface::Demand
 Type for server-side receive buffer demand.
Public Member Functions inherited from L4::Irqep_t< Pm >
Cap< L4::Irq > obj_cap () const
 Get the (typed) capability to this object.
Public Member Functions inherited from L4::Epiface_t0< void, Epiface >
Type_info::Demand get_buffer_demand () const
 Get the server-side buffer demand based in IFACE.
Cap< void > 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.

Detailed Description

template<typename DM>
class Block_device::Pm_for_dm< DM >

Adapter class for processing PM events via a device manager instance.

Definition at line 165 of file pm.h.


The documentation for this class was generated from the following file:
  • l4/libblock-device/pm.h