Interface guest_iospace.h

The libsel4vm iospace interface enables the registration and management of a guest VM’s IO Space. This being used when supporting IOMMU (x86) and SMMU (ARM) VM features.

Brief content:


vm_guest_add_iospace(vm, loader, iospace)


The interface guest_iospace.h defines the following functions.

Function vm_guest_add_iospace(vm, loader, iospace)

Attach an additional IO space to the given VM


  • vm {vm_t *}: A handle to the VM
  • loader {vspace_t *}: Host loader vspace to create a new iospace
  • iospace {seL4_CPtr}: Capability to iospace being added


  • 0 on success, otherwise -1 for error

Back to interface description.

Back to top.