Interface guest_memory_helpers.h

The libsel4vm guest memory helpers interface provides simple utilities for using the guest memory interface.

Brief content:


default_error_fault_callback(vm, vcpu, fault_addr, fault_length, cookie)


The interface guest_memory_helpers.h defines the following functions.

Default fault callback that throws a fault error. Useful to avoid having to re-define a fault callback on regions that should be mapped with all rights.


  • vm {vm_t *}: A handle to the VM
  • vcpu {vm_vcpu_t *}: A handle to the fault vcpu
  • fault {uintptr_t}: addr Faulting address
  • fault_length {size_t}: Length of faulted access
  • cookie {void *}: User cookie to pass onto callback


  • Always returns FAULT_ERROR

Back to interface description.

Back to top.