L4::Reply_cap_idx Class Reference

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

#include <capability.h>

Collaboration diagram for L4::Reply_cap_idx:

Detailed Description

Value class for a reply capability index.

Ensures that the L4_REPLY_CAP_BIT is always set to make this an index into the reply capability space.

Definition at line 458 of file capability.h.

---

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

• l4/sys/cxx/capability.h