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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c77 static int add_io_port_range(vm_io_port_list_t *ioport_list, vm_ioport_entry_t port) function
219 return add_io_port_range(&vm->arch.ioport_list, (vm_ioport_entry_t) {
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c91 static int add_io_port_range(vmm_io_port_list_t *io_list, ioport_entry_t *port) function
155 err = add_io_port_range(io_list, entry);

Completed in 93 milliseconds