api/l4io.h

#if !defined(__L4VMM_INCLUDE_API_L4IO_H__)
#define __L4VMM_INCLUDE_API_L4IO_H__

//
// L4 includes
//
#include <l4/generic_io/libio.h>

EXTERN_C_BEGIN

//
// PCI support functions: search device functions
//
L4_CV int l4vmm_pci_find_slot(unsigned int bus, unsigned int devfn, l4io_pci_dev_t *l4io_device);
L4_CV int l4vmm_pci_find_device(unsigned short vendorID, unsigned short deviceID, l4io_pdev_t start,
                                l4io_pci_dev_t *l4io_device);
L4_CV int l4vmm_pci_find_class(unsigned long dev_class, l4io_pdev_t start, l4io_pci_dev_t *l4io_device);

//
// PCI support functions: read & write the PCI configuration space
//
L4_CV int l4vmm_pci_read_config_space8(l4io_pdev_t handle, int offset, l4_uint8_t *value);
L4_CV int l4vmm_pci_read_config_space16(l4io_pdev_t handle, int offset, l4_uint16_t *value);
L4_CV int l4vmm_pci_read_config_space32(l4io_pdev_t handle, int offset, l4_uint32_t *value);
L4_CV int l4vmm_pci_write_config_space8(l4io_pdev_t handle, int offset, l4_uint8_t value);
L4_CV int l4vmm_pci_write_config_space16(l4io_pdev_t handle, int offset, l4_uint16_t value);
L4_CV int l4vmm_pci_write_config_space32(l4io_pdev_t handle, int offset, l4_uint32_t value);

//
// PCI support functions: stuff
//
L4_CV int  l4vmm_pci_enable(l4io_pdev_t handle);
L4_CV int  l4vmm_pci_disable(l4io_pdev_t handle);
L4_CV void l4vmm_pci_set_master(l4io_pdev_t handle);
L4_CV int  l4vmm_pci_set_pm(l4io_pdev_t handle, int state);

//
// I/O space allocation
//
L4_CV int l4vmm_iospace_request_region(l4_addr_t base, l4_size_t size);
L4_CV int l4vmm_iospace_release_region(l4_addr_t base, l4_size_t size);

//
// I/O memory allocation
//
L4_CV l4_addr_t l4vmm_mmio_request_region(l4_addr_t base, l4_size_t size, int flags);
L4_CV int l4vmm_mmio_search_region(l4_addr_t address, l4_addr_t *base, l4_size_t *size);
L4_CV int l4vmm_mmio_release_region(l4_addr_t base, l4_size_t size);

EXTERN_C_END

#endif

// ***** end of source ***** //