![]() |
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 27 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 67 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 50 of file counting_cap_alloc.