diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index abc16e17afec..c4951c484088 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -284,7 +284,7 @@ restart: *************************************************************************** */ static void -print_caddr_t(void *data __unused) +print_caddr_t(void *data) { printf("%s", (char *)data); }