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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dvm.h16 typedef int(*vm_exit_handler_fn_t)(vm_vcpu_t *vcpu); typedef

Completed in 23 milliseconds