21 public Kobject_t<Snd_destination, Kobject, L4_PROTO_KOBJECT>
L4::Cap related definitions.
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Interface Definition Language.
Common L4 ABI Data Types.
L4 low-level kernel interface.
Sender destination endpoint C interface.