50 {
return l4_task_vgicc_map_u(
cap(), vgicc_fpage, utcb); }
57 void operator = (
Vm const &);
Helper class to create an L4Re interface class that is derived from a single base class.
l4_cap_idx_t cap() const noexcept
Return capability selector.
Virtual machine host address space.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
L4 low-level kernel interface.
Message tag data structure.
Common task related definitions.