Searched refs:arm_exit_handlers (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c36 static vm_exit_handler_fn_t arm_exit_handlers[] = { variable
244 ret = arm_exit_handlers[vm_exit_reason](vm->vcpus[vcpu_idx]);

Completed in 88 milliseconds