Fix tasking, PCI
diff --git a/include/kernel/dri/pci/pci.h b/include/kernel/dri/pci/pci.h
index 75262d3..3a3a8fa 100644
--- a/include/kernel/dri/pci/pci.h
+++ b/include/kernel/dri/pci/pci.h
@@ -11,3 +11,4 @@
 
 uint pci_config_readd(uchar bus, uchar slot, uchar func, uchar offset);
 struct pci_vendor *pci_check_vendor(uchar bus, uchar slot, uchar func, uint *v);
+void pci_print_devices();