Index: uspace/app/devctl/devctl.c
===================================================================
--- uspace/app/devctl/devctl.c	(revision 4c9b28a0175b27562b4707fefb3e2d52f22cd095)
+++ uspace/app/devctl/devctl.c	(revision f3287e556d8774e8a920fcac5e1178e47a7caad4)
@@ -227,5 +227,5 @@
 		sstate = drv_state_str(state);
 
-		printf("%-11s %3d %s\n", sstate, ndevs, drv_name);
+		printf("%-11s %3zu %s\n", sstate, ndevs, drv_name);
 skip:
 		free(devs);