extern void pci_dummy_init(void);