L4Re Operating System Framework
Interface and Usage Documentation
|
Counter for Counting_cap_alloc with variable data width. More...
#include <counting_cap_alloc>
Public Member Functions | |
bool | inc () |
Increment counter if not yet saturated. | |
Type | dec () |
Decrement counter if not saturated. | |
Counter for Counting_cap_alloc with variable data width.
This version is not thread safe.
Definition at line 38 of file counting_cap_alloc.
|
inline |
Decrement counter if not saturated.
Once the counter reached the saturated state, the counter value isn't changed.
Definition at line 78 of file counting_cap_alloc.
|
inline |
Increment counter if not yet saturated.
Once the counter reached the saturated state, the counter value isn't changed.
false | The counter just went saturated after it was increased. |
true | Either the counter was already saturated – in that case the counter value was not changed, or the counter was not saturated – in that case the counter was increased. |
Definition at line 61 of file counting_cap_alloc.