L4Re Operating System Framework
Interface and Usage Documentation
|
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) 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 type for expressing the needed receive buffers at the server-side of an interface.
Definition at line 517 of file __typeinfo.h.
|
inlineexplicitnoexcept |
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 538 of file __typeinfo.h.
|
inlinenoexcept |
Definition at line 543 of file __typeinfo.h.
Referenced by L4::Ipc_svr::Br_manager_no_buffers::alloc_buffer_demand().