Searched defs:io_port (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c47 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr; local
69 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr; local
80 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr; local
119 uint32_t io_port = (uint32_t) (uintptr_t)dev->vaddr; local
[all...]
/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
43 static const char *vmm_debug_io_portno_desc(vmm_io_port_list_t *io_port, int port_no) argument
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
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dinit_data.h64 seL4_CPtr io_port; member in struct:__anon902
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c70 vmm_io_port_list_t *io_port; member in struct:pci_cfg_data
156 vmm_io_port_list_t *io_port = cfg_data->io_port; local
192 int vm_install_vpci(vm_t *vm, vmm_io_port_list_t *io_port, vmm_pci_space_t *pci) argument

Completed in 46 milliseconds