Interface guest_vcpu_util.h

The guest vcpu util interface provides abstractions and helpers for managing libsel4vm vcpus.

Brief content:


create_vmm_plat_vcpu(vm, priority)


The interface guest_vcpu_util.h defines the following functions.

Function create_vmm_plat_vcpu(vm, priority)

Create a new platform vcpu. This is a wrapper around the libsel4vm function vm_create_vcpu however further intialises and configures the vcpu with platform specific attributes


  • vm {vm_t *}: A handle to the VM
  • priority {int}: Priority of the new vcpu thread


  • NULL for error, otherwise pointer to created vm_vcpu_t object

Back to interface description.

Back to top.