From 31932482cd686ceda03ef2b820644e63632041cb Mon Sep 17 00:00:00 2001
From: Freya Murphy <freya@freyacat.org>
Date: Fri, 4 Apr 2025 22:27:49 -0400
Subject: [PATCH] fix tripple pci device print

---
 kernel/drivers/pci.c | 2 --
 1 file changed, 2 deletions(-)

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");
 }