Searched refs:ioport_list (Results 1 - 3 of 3) 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) argument
80 for (int i = 0; i < ioport_list->num_ioports; i++) {
81 if (ioport_list->ioports[i].range.end > port.range.start && ioport_list->ioports[i].range.start < port.range.end) {
84 ioport_list->ioports[i].range.start, ioport_list->ioports[i].range.end,
85 ioport_list->ioports[i].interface.desc ? ioport_list->ioports[i].interface.desc : "Unknown IO Port");
90 ioport_list->ioports = realloc(ioport_list
[all...]
H A Dboot.c111 vm->arch.ioport_list.num_ioports = 0;
112 vm->arch.ioport_list.ioports = NULL;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dguest_vm_arch.h47 * @param {vm_io_port_list_t} ioport_list List of registered ioport handlers
57 vm_io_port_list_t ioport_list; member in struct:vm_arch

Completed in 82 milliseconds