dumpmemory        322 include/exec.h void dumpmemory(WORD start, WORD end);
dumpmemory        708 src/exec.c                     dumpmemory(execmode.dump_start, execmode.dump_end);
dumpmemory        281 src/monitor.c          dumpmemory(dump_start, dump_end);