diff --git a/kernel/drivers/pci.c b/kernel/drivers/pci.c
index 5f17b3b..83c47f1 100644
--- a/kernel/drivers/pci.c
+++ b/kernel/drivers/pci.c
@@ -137,8 +137,6 @@ void pci_init(void)
 	printf("PCI DEVICES\n");
 	for (size_t i = 0; i < pci_table_next; i++) {
 		print_device(&pci_table[i]);
-		print_device(&pci_table[i]);
-		print_device(&pci_table[i]);
 	}
 	printf("\n");
 }