dump_get_max_page_size 4266 src/pdumper.c    dump_align_output (ctx, dump_get_max_page_size ());
dump_get_max_page_size 4986 src/pdumper.c    int worst_case_page_size = dump_get_max_page_size ();
dump_get_max_page_size 5672 src/pdumper.c    dump_page_size = dump_get_max_page_size ();