commit 1724ae7c21a6840a402a685ceea7f3366788a516
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Jan 16 11:53:01 2022 +0100

    Make dev_name_t also use const_dev_name_t
    
    to avoid forcing the caller to respect the definite string size.

Index: mig/utils.c
===================================================================
--- mig.orig/utils.c
+++ mig/utils.c
@@ -29,6 +29,7 @@
 #include "write.h"
 #include "utils.h"
 #include "global.h"
+#include "cpu.h"
 
 void
 WriteImport(FILE *file, const_string_t filename)
@@ -160,6 +161,7 @@ UserVarQualifier(const argument_t *arg)
 	return "";
 
     if (arg->argType->itIndefinite ||
+	arg->argType->itInName == MACH_MSG_TYPE_STRING_C ||
 	!strcmp(arg->argType->itUserType, "string_t"))
         /* This is a pointer, so we have to use the const_foo type to
 	   make const qualify the data, not the pointer.
