L4Re Operating System Framework
Interface and Usage Documentation
|
Template type statically describing demand of receive buffers. More...
#include <l4/sys/capability>
Public Types | |
enum | { Caps = CAPS , Flags = FLAGS , Mem = MEM , Ports = PORTS } |
Additional Inherited Members | |
Public Member Functions inherited from L4::Type_info::Demand | |
Demand (unsigned char caps=0, unsigned char flags=0, unsigned char mem=0, unsigned char ports=0) noexcept | |
Make Demand object. | |
bool | no_demand () const noexcept |
Demand | operator| (Demand const &rhs) const noexcept |
get the combined demand of this and rhs | |
Data Fields inherited from L4::Type_info::Demand | |
unsigned char | caps |
number of capability receive buffers. | |
unsigned char | flags |
flags, such as the need for timeouts (TBD). | |
unsigned char | mem |
number of memory receive buffers. | |
unsigned char | ports |
number of IO-port receive buffers. | |
Template type statically describing demand of receive buffers.
CAPS | number of capability receive buffers needed. |
FLAGS | flags, such as the need for timeouts (TBD). |
MEM | number of memory receive windows needed. |
PORTS | number of IO-port receive windwows needed. |
Definition at line 564 of file __typeinfo.h.
anonymous enum |
Enumerator | |
---|---|
Caps | number of capability receive buffers. |
Flags | flags, such as the need for timeouts. |
Mem | number of memory receive windows. |
Ports | number of IO-port receive windows. |
Definition at line 566 of file __typeinfo.h.