Searched refs:dump_page (Results 1 – 2 of 2) sorted by relevance
1274 void dump_page (void); // debugging method1450 void page::dump_page(void) in dump_page() function in page3325 page_contents->dump_page(); in insert_tab_te()3333 page_contents->dump_page(); in insert_tab_te()3528 page_contents->dump_page(); in lookahead_for_tables()3530 page_contents->dump_page(); in lookahead_for_tables()3724 page_contents->dump_page(); in flush_page()3726 page_contents->dump_page(); in flush_page()
597 (page::dump_page) [DEBUG_TABLES]: Improved.