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