Header file for the driver's part of the PCI memory management. More...
Header file for the driver's part of the PCI memory management.