@ L4RE_PROTO_DATASPACE
ID for L4Re::Dataspace RPCs
@ L4RE_PROTO_RM
ID for L4Re::Rm RPCs
@ L4RE_PROTO_EVENT
ID for L4Re::Event RPCs
@ L4RE_PROTO_DMA_SPACE
ID for L4Re::Dma_space RPCs
@ L4RE_PROTO_RSVD_1
Reserved ID
@ L4RE_PROTO_PARENT
ID for L4Re::Parent RPCs
@ L4RE_PROTO_DEBUG
ID for debugging RPCs
@ L4RE_PROTO_GOOS
ID for L4Re::Video::Goos RPCs
@ L4RE_PROTO_NAMESPACE
ID for L4Re::Namespace RPCs
@ L4RE_PROTO_INHIBITOR
ID for L4Re::Inhibitor RPCs
@ L4RE_PROTO_MMIO_SPACE
ID for L4Re::Mmio_space