Searched refs:page_dump (Results 1 – 3 of 3) sorted by relevance
66 #define log_page_dump() page_dump(logfile)
754 void page_dump(FILE *f);
2195 void page_dump(FILE *f) in page_dump() function