diff --git a/src/add-ons/kernel/drivers/network/wb840/device.c b/src/add-ons/kernel/drivers/network/wb840/device.c
index 0df761221d..9be3375139 100644
--- a/src/add-ons/kernel/drivers/network/wb840/device.c
+++ b/src/add-ons/kernel/drivers/network/wb840/device.c
@@ -17,8 +17,6 @@ extern pci_info *gDevList[];
 
 static int32 gOpenMask = 0;
 
-extern void print_address(void *addr);
-
 static status_t
 wb840_open(const char *name, uint32 flags, void** cookie)
 {