page_flag_name    397 tools/vm/page-types.c 				index, count, page_flag_name(flags0));
page_flag_name    425 tools/vm/page-types.c 	printf("%lx\t%s\n", offset, page_flag_name(flags));
page_flag_name    441 tools/vm/page-types.c 				page_flag_name(page_flags[i]),
page_flag_name   1229 tools/vm/page-types.c 		page_flag_name(flags),