mallocptr        1166 src/dps8/dps8_mgp.c   void *(*mallocptr)() = malloc;
mallocptr        1167 src/dps8/dps8_mgp.c   h = hash32s(&mallocptr, sizeof(mallocptr), h);
mallocptr        4424 src/dps8/dps8_sys.c   void *(*mallocptr)() = malloc;
mallocptr        4425 src/dps8/dps8_sys.c   h = hash32s(&mallocptr, sizeof(mallocptr), h);
mallocptr         119 src/dps8/utfile.c   void *(*mallocptr)() = malloc;
mallocptr         120 src/dps8/utfile.c   h = hash32s(&mallocptr, sizeof(mallocptr), h);
mallocptr         856 src/simh/sim_tmxr.c void *(*mallocptr)() = malloc;
mallocptr         857 src/simh/sim_tmxr.c h = hash32s(&mallocptr, sizeof(mallocptr), h);