From e67aced2c0cab926b66a0d66adde294cc03fec2e Mon Sep 17 00:00:00 2001
From: "Enrico Fraccaroli (Galfurian)" <enry.frak@gmail.com>
Date: Thu, 29 Feb 2024 12:50:49 -0500
Subject: [PATCH] Add missing comments for pci_dump_device_data function.

---
 mentos/inc/devices/pci.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mentos/inc/devices/pci.h b/mentos/inc/devices/pci.h
index 89062ca..bbc2641 100644
--- a/mentos/inc/devices/pci.h
+++ b/mentos/inc/devices/pci.h
@@ -282,6 +282,10 @@ void pci_remap(void);
 /// @return interrupt number.
 int pci_get_interrupt(uint32_t device);
 
+/// @brief Dumps on DEBUG, the information about the given device.
+/// @param device the device.
+/// @param vendorid the ID of the vendor.
+/// @param deviceid the ID of the device.
 void pci_dump_device_data(uint32_t device, uint16_t vendorid, uint16_t deviceid);
 
 /// @brief Prints all the devices connected to the PCI interfance.