31 #include <l4/sys/l4int.h> 60 public L4::Kobject_t<Dataspace, L4::Kobject, L4RE_PROTO_DATASPACE,
61 L4::Type_info::Demand_t<1> >
74 Map_cacheable = Map_normal,
75 Map_bufferable = 0x10,
76 Map_uncacheable = 0x20,
78 Map_caching_mask = 0x30,
79 Map_caching_shift = 4,
131 long map_region(
l4_addr_t offset,
unsigned long flags,
192 l4_addr_t src_offs,
unsigned long size));
219 unsigned long size()
const throw();
229 long flags() const throw();
261 L4_RPC(
long, release, ());
268 long __map(
l4_addr_t offset,
unsigned char *size,
unsigned long flags,
272 typedef
L4::Typeid::
Rpcs<map_t, clear_t, info_t, copy_in_t, take_t,
273 release_t, phys_t, allocate_t>
Rpcs;
unsigned int l4_size_t
Unsigned size type.
Capability type for RPC interfaces (see L4::Cap<T>).
Standard list of RPCs of an interface.
Common L4 ABI Data Types.
L4 low-level kernel interface.
Information about the dataspace.
L4::Cap related definitions.
Interface for memory-like objects.
Interface Definition Language.
Map_flags
Flags for map operations.
Gen_fpage< Snd_item > Snd_fpage
Send flex-page.
Gen_fpage< Buf_item > Rcv_fpage
Rcv flex-page.
Helper class to create an L4Re interface class that is derived from a single base class...
L4Re Protocol Constants (C version)
unsigned long l4_addr_t
Address type.
#define L4_RPC(res, name, args, attr...)
Define an RPC call (type and callable).
#define L4_RPC_NF(res, name, args...)
Define an RPC call type (the type only, no callable).