From 5c0ab661d3af07186c1fb1c8a8b22d3a894b1be1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 21 Nov 2020 13:13:00 +0100
Subject: Added net_installed check

---
 kernel/drivers/rtl8139.c | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'kernel/drivers')

diff --git a/kernel/drivers/rtl8139.c b/kernel/drivers/rtl8139.c
index fb60865..9317d7b 100644
--- a/kernel/drivers/rtl8139.c
+++ b/kernel/drivers/rtl8139.c
@@ -19,7 +19,7 @@ static u32 rtl_device_pci = 0;
 static u32 rtl_iobase = 0;
 static u32 cur_rx = 0;
 
-u8 *rtl8139_get_mac()
+u8 *rtl8139_get_mac(void)
 {
 	if (!rtl_device_pci)
 		return NULL;
@@ -27,7 +27,7 @@ u8 *rtl8139_get_mac()
 	return mac;
 }
 
-void rtl8139_receive_packet()
+void rtl8139_receive_packet(void)
 {
 	while ((inb(rtl_iobase + RTL_PORT_CMD) & 0x01) == 0) {
 		int offset = cur_rx % 0x2000;
@@ -93,7 +93,7 @@ void rtl8139_irq_handler()
 		rtl8139_receive_packet();
 }
 
-void rtl8139_init()
+void rtl8139_init(void)
 {
 	if (!rtl_device_pci)
 		return;
@@ -160,7 +160,12 @@ void rtl8139_init()
 	outl(rtl_iobase + RTL_PORT_RXMISS, 0);
 }
 
-int rtl8139_install()
+int rtl8139_installed(void)
+{
+	return rtl_device_pci != 0;
+}
+
+int rtl8139_install(void)
 {
 	pci_scan(&rtl8139_find, -1, &rtl_device_pci);
 
-- 
cgit v1.2.3