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