[pintos-anon] / src / devices / pci.h

void pci_scan (void);