Interface guest_vcpu_util.h

The ARM guest vcpu util interface provides abstractions and helpers for managing libsel4vm vcpus on an ARM platform.

Brief content:


fdt_generate_plat_vcpu_node(vm, fdt)


The interface guest_vcpu_util.h defines the following functions.

Function fdt_generate_plat_vcpu_node(vm, fdt)

Generate a CPU device node for a given fdt. This taking into account the vcpus created for the VM.


  • vm {vm_t *}: A handle to the VM
  • fdt {void *}: FDT blob to append generated device node


  • 0 for success, -1 for error

Back to interface description.

Back to top.