uint32_t pci_init();
//stub