Index: sys/tools/vnode_if.awk
===================================================================
--- sys/tools/vnode_if.awk	(revision 231185)
+++ sys/tools/vnode_if.awk	(working copy)
@@ -195,7 +195,7 @@ while ((getline < srcfile) > 0) {
 		continue;
 	if ($1 ~ /^%%/) {
 		if (NF != 6 ||
-		    $2 !~ /^[a-z]+$/  ||  $3 !~ /^[a-z]+$/  ||
+		    $2 !~ /^[a-z_]+$/  ||  $3 !~ /^[a-z]+$/  ||
 		    $4 !~ /^.$/  ||  $5 !~ /^.$/  ||  $6 !~ /^.$/) {
 			die("Invalid %s construction", "%%");
 			continue;