• l4io_desc_lookup_device() : libio.h
• l4io_desc_lookup_resource() : libio.h
• l4io_get_irq_name() : libio.h
• l4io_info_page() : libio.h
• l4io_init() : libio.h
• l4io_pci_disable() : libio.h
• l4io_pci_enable() : libio.h
• l4io_pci_find_class() : libio.h
• l4io_pci_find_device() : libio.h
• l4io_pci_find_slot() : libio.h
• l4io_pci_set_master() : libio.h
• l4io_pci_set_pm() : libio.h
• l4io_release_dma() : libio.h
• l4io_release_mem_region() : libio.h
• l4io_release_region() : libio.h
• l4io_request_dma() : libio.h
• l4io_request_mem_region() : libio.h
• l4io_request_mem_region_name() : libio.h
• l4io_request_region() : libio.h
• l4io_search_mem_region() : libio.h