diff --git a/cpukit/libdrvmgr/drvmgr_print.c b/cpukit/libdrvmgr/drvmgr_print.c
index 2c043e5105..6ec302134a 100644
--- a/cpukit/libdrvmgr/drvmgr_print.c
+++ b/cpukit/libdrvmgr/drvmgr_print.c
@@ -100,6 +100,8 @@ void drvmgr_print_devs(unsigned int options)
 
 static intptr_t drvmgr_topo_func(struct drvmgr_dev *dev, void *arg)
 {
+	(void) arg;
+
 	char prefix[32];
 	int depth = dev->parent->depth;
 
@@ -250,6 +252,8 @@ void drvmgr_summary(void)
 
 static void print_info(void *p, char *str)
 {
+	(void) p;
+
 	printf("  ");
 	puts(str);
 }