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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c118 static int alloc_free_io_port_range(vmm_io_port_list_t *io_list, ioport_range_t *io_range) argument
121 if (free_port_addr + io_range->size < free_port_addr) {
125 io_list->alloc_addr += io_range->size;
126 io_range->start = free_port_addr;
127 io_range->end = free_port_addr + io_range->size - 1;
131 static void free_io_port_range(vmm_io_port_list_t *io_list, ioport_range_t *io_range) argument
133 io_list->alloc_addr -= io_range->size;
137 ioport_entry_t *vmm_io_port_add_handler(vmm_io_port_list_t *io_list, ioport_range_t io_range, argument
142 err = alloc_free_io_port_range(io_list, &io_range);
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c217 int vm_io_port_add_handler(vm_t *vm, vm_ioport_range_t io_range, vm_ioport_interface_t io_interface) argument
220 io_range, io_interface

Completed in 28 milliseconds