Searched refs:ioports (Results 1 - 14 of 14) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | ioports.c | 17 #include <sel4vm/arch/ioports.h>
46 static vm_ioport_entry_t *search_port(vm_io_port_list_t *ioports, unsigned int port_no) argument
48 return (vm_ioport_entry_t *)bsearch((void *)(uintptr_t)port_no, ioports->ioports, ioports->num_ioports,
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[
[all...] |
| H A D | boot.c | 112 vm->arch.ioport_list.ioports = NULL;
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | ioports.c | 11 #include <sel4vmmplatsupport/ioports.h>
38 return (ioport_entry_t **)bsearch((void *)(uintptr_t)port_no, io_port->ioports, io_port->num_ioports,
99 if (io_list->ioports[i]->range.end >= port->range.start && io_list->ioports[i]->range.start <= port->range.end) {
102 io_list->ioports[i]->range.start, io_list->ioports[i]->range.end,
103 io_list->ioports[i]->interface.desc ? io_list->ioports[i]->interface.desc : "Unknown IO Port");
108 io_list->ioports = realloc(io_list->ioports, sizeo
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/ |
| H A D | vmm_pci_helper.h | 13 #include <sel4vm/arch/ioports.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
| H A D | virtio_con.h | 17 #include <sel4vmmplatsupport/ioports.h>
|
| H A D | virtio_net.h | 18 #include <sel4vmmplatsupport/ioports.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
| H A D | guest_vm_arch.h | 18 #include <sel4vm/arch/ioports.h>
|
| H A D | ioports.h | 10 * @module ioports.h
11 * The x86 ioports interface provides a useful abstraction for initialising, registering and handling ioport events
93 vm_ioport_entry_t *ioports; member in struct:vm_io_list
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
| H A D | ioports.h | 9 * @module ioports.h
10 * The ioports interface provides a useful abstraction for initialising, registering and handling ioport events
11 * for a guest VM instance. This is independent from the x86 libsel4vm ioports interface. This interface is intended
12 * to be more generic and architecture independent, useful for usecases that require ioports without architecture
69 * Parent datastructure used to maintain a list of registered ioports
70 * @param {int} num_ioports Total number of registered ioports
77 ioport_entry_t **ioports; member in struct:vmm_io_list
85 * @param {uint16_t} ioport_alloc_addr Base ioport address we can safely bump allocate from (doesn't conflict with other ioports).
105 * From a set of registered ioports, emulate an io instruction given a current ioport access.
106 * @param {vmm_io_port_list_t *} io_port List of registered ioports wit
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
| H A D | vmm_pci_helper.c | 9 #include <sel4vm/arch/ioports.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | vpci.c | 21 #include <sel4vmmplatsupport/ioports.h>
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 25 #include <sel4vm/arch/ioports.h>
|
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | bootup.tex | 50 (see \autoref{sec:ioports})
|
| H A D | io.tex | 73 \label{sec:ioports}
|
Completed in 112 milliseconds