Index: uspace/app/devctl/devctl.c
===================================================================
--- uspace/app/devctl/devctl.c	(revision 5759975a7dc4e1e91bc4816fbc5c48a789fd8cd7)
+++ uspace/app/devctl/devctl.c	(revision cb500a2f5e92d7a082f0bfc57d3e8a084dc6d9c1)
@@ -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);