31 #include <l4/sys/cxx/ipc_epiface> 32 #include <l4/sys/cxx/ipc_server_loop> 33 #include <l4/cxx/type_traits> 76 return ios.prepare_ipc(r);
90 template<
typename IFACE,
typename BASE = L4::Server_
object>
111 {
return L4::Util::handle_meta_request<IFACE>(ios); }
124 template<
typename THIS>
153 template<
typename Derived,
typename IFACE,
typename BASE = L4::Server_
object>
Abstract server object to be used with L4::Server and L4::Basic_registry.
Type information server template.
Input/Output stream for IPC [un]marshalling.
Server object base class for handling IRQ messages.
L4 low-level kernel interface.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
virtual int dispatch(unsigned long rights, Ipc::Iostream &ios)=0
The abstract handler for client requests to the object.
L4::Cap related definitions.
IFACE Interface
Data type of the IPC interface definition.
T::__Kobject_typeid::Demand Demand
Data type expressing the static demand of receive buffers in a server.
Base class for all kinds of kernel objects and remote objects, referenced by capabilities.
unsigned long l4_umword_t
Unsigned machine word.
int dispatch_meta_request(L4::Ipc::Iostream &ios)
Implementation of the meta protocol based on IFACE.
int dispatch(l4_umword_t r, L4::Ipc::Iostream &ios)
Implementation forwarding to p_dispatch().
Helper class to implement p_dispatch based server objects.
static int proto_dispatch(THIS *self, l4_umword_t rights, L4::Ipc::Iostream &ios)
Implementation of protocol-based dispatch for this server object.
Cap< T > cap_cast(Cap< F > const &c)
static_cast for capabilities.
Base class (template) for server implementing server objects.
C++ interface for capabilities.
Message tag data structure.
BASE::Demand get_buffer_demand() const
static int proto_dispatch(THIS *self, long proto, A1 a1, A2 &a2)
Protocol based server-side dispatch function.