Index: head/lib/libsysdecode/flags.c
===================================================================
--- head/lib/libsysdecode/flags.c
+++ head/lib/libsysdecode/flags.c
@@ -662,11 +662,11 @@
 
 	printed = false;
 	protm = PROT_MAX_EXTRACT(prot);
+	prot = PROT_EXTRACT(prot);
 	if (protm != 0) {
 		fputs("PROT_MAX(", fp);
 		printed = print_mask_int(fp, mmapprot, protm, rem);
 		fputs(")|", fp);
-		prot = protm;
 	}
 	return (print_mask_int(fp, mmapprot, prot, rem) || printed);
 }