L4Re - L4 Runtime Environment
|
Data type for expressing the needed receive buffers at the server-side of an interface. More...
#include <l4/sys/capability>
Public Member Functions | |
Demand (unsigned char caps=0, unsigned char flags=0, unsigned char mem=0, unsigned char ports=0) | |
Make Demand object. More... | |
bool | no_demand () const |
Demand | operator| (Demand const &rhs) const |
get the combined demand of this and rhs | |
Data Fields | |
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. | |
Data type for expressing the needed receive buffers at the server-side of an interface.
Definition at line 516 of file __typeinfo.h.
|
inlineexplicit |
Make Demand object.
caps | number of capability receive buffers |
flags | flags, such as the need for timeouts (TBD). |
mem | number of memory receive windows. |
ports | number of IO-port receive windows. |
Definition at line 537 of file __typeinfo.h.
|
inline |
Definition at line 542 of file __typeinfo.h.
Referenced by L4::Ipc_svr::Br_manager_no_buffers::alloc_buffer_demand().