L4::Reply_cap_idx Class Reference

Value class for optional reply capability index. More...

#include <capability.h>

Collaboration diagram for L4::Reply_cap_idx:

Detailed Description

Value class for optional reply capability index.

Optional means that the value can be invalid (see L4_INVALID_CAP_BIT).

Definition at line 478 of file capability.h.

---

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

• l4/sys/cxx/capability.h