#include <errno.h>
#include <assert.h>
#include <as.h>
#include <devman.h>
#include <ddi.h>
#include <libarch/ddi.h>
#include <device/hw_res.h>
#include <usb/debug.h>
#include <pci_dev_iface.h>
#include "pci.h"
Go to the source code of this file.
Functions | |
| int | pci_enable_interrupts (ddf_dev_t *device) |
| Calls the PCI driver with a request to enable interrupts. | |
| int | pci_get_my_registers (ddf_dev_t *dev, uintptr_t *mem_reg_address, size_t *mem_reg_size, int *irq_no) |
| Get address of registers and IRQ for given device. | |
Definition in file pci.c.
1.4.7