L4::Reply_cap_alloc Class Reference

Interface to a reply capability allocator. More...

#include <capability.h>

Collaboration diagram for L4::Reply_cap_alloc:

Public Member Functions
virtual Reply_cap	alloc () noexcept=0
	Allocate new reply capability slot.

Protected Member Functions
virtual void	free (Reply_cap_idx cap) noexcept=0
	Free reply capability slot.

Detailed Description

Interface to a reply capability allocator.

Definition at line 488 of file capability.h.

Member Function Documentation

alloc()

virtual Reply_cap L4::Reply_cap_alloc::alloc ( )

pure virtualnoexcept

Allocate new reply capability slot.

Returns

Reply capability index or invalid index if exhausted.

Referenced by L4::Reply_cap::reset().

Here is the caller graph for this function:

free()

virtual void L4::Reply_cap_alloc::free ( Reply_cap_idx cap )

protectedpure virtualnoexcept

Free reply capability slot.

The slot must have been allocated by the same allocator.

Parameters

cap	The reply cap slot to free.

References free().

Referenced by free().

Here is the call graph for this function:

Here is the caller graph for this function:

---

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

• l4/sys/cxx/capability.h