#ifndef __X86__PCI_INIT__H
#define __X86__PCI_INIT__H

/* no PCI devices are implemented, yet */

void x86_init_pci_devices(void);

#endif