vdptr            10572 src/simh/scp.c void _sim_debug (uint32 dbits, DEVICE* vdptr, const char* fmt, ...)
vdptr            10574 src/simh/scp.c DEVICE *dptr = (DEVICE *)vdptr;