L4Re Operating System Framework – Interface and Usage Documentation
|
Counter for Counting_cap_alloc with variable data width. More...
#include <counting_cap_alloc>
Counter for Counting_cap_alloc with variable data width.
This version is not thread safe.
Definition at line 38 of file counting_cap_alloc.