DUMP_EXTRA
#define DUMP_EXTRA 3 /* CPU-dependent extra pages */
#define DUMP_EXTRA 1 /* CPU-dependent extra pages */