diff --git a/kaleid/kernel/init/init.c b/kaleid/kernel/init/init.c
index 8ce9bc8..a3a0a4e 100644
--- a/kaleid/kernel/init/init.c
+++ b/kaleid/kernel/init/init.c
@@ -90,7 +90,7 @@ noreturn void BtStartKern(multiboot_info_t *mbInfo, uint mbMagic, void *codeSeg)
     IoInitPCI();
     
         // Test RTL8139
-        pciDev_t *rtl8139_pciDev = IoPciGetDevice(0x10EC, 0x8139);
+        PciDev_t *rtl8139_pciDev = IoPciGetDevice(0x10EC, 0x8139);
         if(rtl8139_pciDev != NULL)
         {
             DebugLog("Network card RTL8139 found ! PCI config addr = %p\n",