/seL4-camkes-master/projects/util_libs/libpci/src/ |
H A D | ioreg.c | 17 void libpci_out(uint32_t port_no, uint32_t val, uint8_t size) { argument 19 int UNUSED ret = libpci_iowrite(port_no, val, size); 23 uint32_t libpci_in(uint32_t port_no, uint8_t size) { argument 26 int UNUSED ret = libpci_ioread(port_no, &val, size); 31 void libpci_out32(uint32_t port_no, uint32_t val) { argument 32 libpci_out(port_no, val, 4); 35 uint32_t libpci_in32(uint32_t port_no) { argument 36 return libpci_in(port_no, 4); 39 void libpci_out16(uint32_t port_no, uint32_t val) { argument 40 libpci_out(port_no, va 43 libpci_in16(uint32_t port_no) argument 47 libpci_out8(uint32_t port_no, uint32_t val) argument 51 libpci_in8(uint32_t port_no) argument 111 libpci_portno_reverse_lookup(uint32_t port_no, uint8_t *bus, uint8_t *dev, uint8_t *fun, uint8_t *reg) argument [all...] |
H A D | virtual_pci.c | 109 int libpci_virtual_pci_ioread(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t* val, uint32_t size) { argument 110 if (port_no >= PCI_CONF_PORT_ADDR && port_no < PCI_CONF_PORT_ADDR_END) { 111 if (port_no + size > PCI_CONF_PORT_ADDR_END) { 112 ZF_LOGD("vpci_ioread WARNING: portno + size = 0x%x invalid address.\n", port_no + size); 117 memcpy(val, ((char*)&self->current_addr) + (port_no - PCI_CONF_PORT_ADDR), size); 120 if (port_no < PCI_CONF_PORT_DATA || port_no >= PCI_CONF_PORT_DATA_END) { 121 ZF_LOGD("vpci_ioread WARNING: port_no 0x%x size %d invalid.\n", port_no, siz 153 libpci_virtual_pci_iowrite(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t val, uint32_t size) argument [all...] |
H A D | pci.c | 28 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size) { argument 29 return (uint32_t)ps_io_port_in(&global_port_ops, port_no, (int)size, val); 32 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size) { argument 33 return (uint32_t)ps_io_port_out(&global_port_ops, port_no, (int)size, val);
|
/seL4-camkes-master/projects/util_libs/libpci/include/pci/ |
H A D | ioreg.h | 19 void libpci_out32(uint32_t port_no, uint32_t val); 20 uint32_t libpci_in32(uint32_t port_no); 21 void libpci_out16(uint32_t port_no, uint32_t val); 22 uint32_t libpci_in16(uint32_t port_no); 23 void libpci_out8(uint32_t port_no, uint32_t val); 24 uint32_t libpci_in8(uint32_t port_no); 25 void libpci_out(uint32_t port_no, uint32_t val, uint8_t size); 26 uint32_t libpci_in(uint32_t port_no, uint8_t size); 40 void libpci_portno_reverse_lookup(uint32_t port_no, uint8_t *bus, uint8_t *dev, uint8_t *fun,
|
H A D | pci.h | 44 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size); 45 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size);
|
H A D | virtual_pci.h | 53 int (*ioread) (libpci_virtual_pci_t* self, uint32_t port_no, uint32_t* val, uint32_t size); 54 int (*iowrite) (libpci_virtual_pci_t* self, uint32_t port_no, uint32_t val, uint32_t size);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/ |
H A D | vmm_pci_helper.h | 32 * @function vmm_pci_io_port_in(vcpu, cookie, port_no, size, result) 35 * @param {unsigned int} port_no Port address being accessed 39 ioport_fault_result_t vmm_pci_io_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, 43 * @function vmm_pci_io_port_out(vcpu, cookie, port_no, size, value) 46 * @param {unsigned int} port_no Port address being accessed 50 ioport_fault_result_t vmm_pci_io_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
H A D | vmm_pci_helper.c | 67 ioport_fault_result_t vmm_pci_io_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument 73 if (port_no >= PCI_CONF_PORT_ADDR && port_no < PCI_CONF_PORT_ADDR_END) { 74 offset = port_no - PCI_CONF_PORT_ADDR; 75 assert(port_no + size <= PCI_CONF_PORT_ADDR_END); 81 assert(port_no >= PCI_CONF_PORT_DATA && port_no + size <= PCI_CONF_PORT_DATA_END); 82 offset = port_no - PCI_CONF_PORT_DATA; 118 ioport_fault_result_t vmm_pci_io_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument 124 if (port_no > [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 20 typedef int (*ioport_in_fn)(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result); 21 typedef int (*ioport_out_fn)(void *cookie, unsigned int port_no, unsigned int size, unsigned int value); 104 * @function emulate_io_handler(io_port, port_no, is_in, size, data) 107 * @param {unsigned int} port_no IOPort address being accessed 113 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 36 static ioport_entry_t **search_port(vmm_io_port_list_t *io_port, unsigned int port_no) argument 38 return (ioport_entry_t **)bsearch((void *)(uintptr_t)port_no, io_port->ioports, io_port->num_ioports, 43 static const char *vmm_debug_io_portno_desc(vmm_io_port_list_t *io_port, int port_no) argument 45 ioport_entry_t **res_port = search_port(io_port, port_no); 50 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data) argument 61 is_in, port_no, vmm_debug_io_portno_desc(io_port, port_no), size); 63 ioport_entry_t **res_port = search_port(io_port, port_no); 66 if (last_port != port_no) { 67 ZF_LOGW("exit io request: WARNING - ignoring unsupported ioport 0x%x (%s)\n", port_no, [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | ioports.h | 33 * @param {unsigned int} port_no Base port address being accessed 39 typedef ioport_fault_result_t (*vm_ioport_in_fn)(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, 46 * @param {unsigned int} port_no Base port address being accessed 51 typedef ioport_fault_result_t (*vm_ioport_out_fn)(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, 58 * @param {unsigned int} port_no Base port address being accessed 67 typedef ioport_fault_result_t (*unhandled_ioport_callback_fn)(vm_vcpu_t *vcpu, unsigned int port_no, bool is_in,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 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, 130 unsigned int port_no; local 138 port_no = exit_qualification >> 16; 159 vm_ioport_entry_t *port = search_port(&vcpu->vm->arch.ioport_list, port_no); 162 res = port->interface.port_in(vcpu, port->interface.cookie, port_no, size, &value); 164 res = port->interface.port_out(vcpu, port->interface.cookie, port_no, size, value); 167 res = vcpu->vm->arch.unhandled_ioport_callback(vcpu, port_no, is_in, &value, size, 171 if (port_no != -1) { 172 ZF_LOGW("ignoring unsupported ioport 0x%x", port_no); [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_con.c | 23 static int virtio_con_io_in(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument 26 unsigned int offset = port_no - con->iobase; 36 static int virtio_con_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument 40 unsigned int offset = port_no - con->iobase;
|
H A D | virtio_net.c | 23 static int virtio_net_io_in(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument 26 unsigned int offset = port_no - net->iobase; 36 static int virtio_net_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument 40 unsigned int offset = port_no - net->iobase;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
H A D | i8259.c | 471 ioport_fault_result_t i8259_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument 477 if (!i8259_in_range(port_no)) { 485 switch (port_no) { 490 pic_ioport_write(vcpu, &s->pics[port_no >> 7], port_no, value); 494 elcr_ioport_write(&s->pics[port_no & 1], port_no, value); 502 ioport_fault_result_t i8259_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, argument 508 if (!i8259_in_range(port_no)) { 516 switch (port_no) { [all...] |