Searched defs:VM_VPPI_EXIT (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Darm_vm_exits.h16 VM_VPPI_EXIT, enumerator in enum:arm_vm_exit_reasons

Completed in 74 milliseconds