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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c36 static ioport_entry_t **search_port(vmm_io_port_list_t *io_port, unsigned int port_no) function
45 ioport_entry_t **res_port = search_port(io_port, port_no);
63 ioport_entry_t **res_port = search_port(io_port, port_no);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c46 static vm_ioport_entry_t *search_port(vm_io_port_list_t *ioports, unsigned int port_no) function
159 vm_ioport_entry_t *port = search_port(&vcpu->vm->arch.ioport_list, port_no);

Completed in 42 milliseconds