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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c23 static int io_port_compare_by_range(const void *pkey, const void *pelem) function
49 sizeof(vm_ioport_entry_t), io_port_compare_by_range);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c13 static int io_port_compare_by_range(const void *pkey, const void *pelem) function
39 sizeof(ioport_entry_t *), io_port_compare_by_range);

Completed in 37 milliseconds