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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dioports.h108 * @function vm_register_unhandled_ioport_callback(vm, ioport_callback, cookie)
111 * @param {unhandled_ioport_callback_fn} ioport_callback A user supplied callback to process unhandled ioport faults
115 int vm_register_unhandled_ioport_callback(vm_t *vm, unhandled_ioport_callback_fn ioport_callback,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c200 int vm_register_unhandled_ioport_callback(vm_t *vm, unhandled_ioport_callback_fn ioport_callback, argument
208 if (!ioport_callback) {
212 vm->arch.unhandled_ioport_callback = ioport_callback;

Completed in 80 milliseconds