43 {
return l4_task_vgicc_map_u(
cap(), vgicc_fpage, utcb); }
50 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.
l4_msgtag_t vgicc_map(l4_fpage_t const vgicc_fpage, l4_utcb_t *utcb=l4_utcb()) noexcept
Map the GIC virtual CPU interface page to the task in case Fiasco detected a GIC version 2.
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.