Searched refs:port_no (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/projects/util_libs/libpci/src/
H A Dioreg.c17 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 Dvirtual_pci.c109 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 Dpci.c28 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 Dioreg.h19 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 Dpci.h44 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 Dvirtual_pci.h53 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 Dvmm_pci_helper.h32 * @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 Dvmm_pci_helper.c67 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 Dioports.h20 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 Dioports.c36 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 Dioports.h33 * @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 Dioports.c46 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 Dvirtio_con.c23 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 Dvirtio_net.c23 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 Di8259.c471 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...]

Completed in 96 milliseconds