WITH_SOCKET_DEV   891 src/dps8/dps8_cable.c #if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  1605 src/dps8/dps8_cable.c #if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  1533 src/dps8/dps8_cpu.c # if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV    53 src/dps8/dps8_socket_dev.c #if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV    19 src/dps8/dps8_socket_dev.h #if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV   256 src/dps8/dps8_sys.c # if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  1529 src/dps8/dps8_sys.c # if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  4289 src/dps8/dps8_sys.c # if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  4531 src/dps8/dps8_sys.c # if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  4962 src/dps8/dps8_sys.c #if defined(WITH_SOCKET_DEV)
WITH_SOCKET_DEV  5025 src/simh/scp.c     defined(WITH_SOCKET_DEV)    ||  \
WITH_SOCKET_DEV  5206 src/simh/scp.c #if defined(WITH_SOCKET_DEV)