L4Re - L4 Runtime Environment
L4::Type_info::Demand Class Reference

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.
 

Detailed Description

Data type for expressing the needed receive buffers at the server-side of an interface.

Definition at line 516 of file __typeinfo.h.

Constructor & Destructor Documentation

◆ Demand()

L4::Type_info::Demand::Demand ( unsigned char  caps = 0,
unsigned char  flags = 0,
unsigned char  mem = 0,
unsigned char  ports = 0 
)
inlineexplicit

Make Demand object.

Parameters
capsnumber of capability receive buffers
flagsflags, such as the need for timeouts (TBD).
memnumber of memory receive windows.
portsnumber of IO-port receive windows.

Definition at line 537 of file __typeinfo.h.

Member Function Documentation

◆ no_demand()

bool L4::Type_info::Demand::no_demand ( ) const
inline
Returns
true if there is no demand at all

Definition at line 542 of file __typeinfo.h.


The documentation for this class was generated from the following file: