Searched refs:page_flag_name (Results 1 – 1 of 1) sorted by relevance
328 static char *page_flag_name(uint64_t flags)398 index, count, page_flag_name(flags0)); in show_page_range() 426 printf("%lx\t%s\n", offset, page_flag_name(flags)); in show_page() 442 page_flag_name(page_flags[i]), in show_summary() 1243 page_flag_name(flags), in describe_flags() 329 static char *page_flag_name(uint64_t flags) page_flag_name() function