|
L4Re - L4 Runtime Environment
|
Data type for expressing the needed receive buffers at the server-side of an interface. More...
#include <l4/sys/capability>
Inheritance diagram for L4::Type_info::Demand:
Collaboration diagram for L4::Type_info::Demand: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().
Here is the caller graph for this function: