domain            340 src/dps8/dps8_socket_dev.c     int domain =   (int) buffer[0];
domain            344 src/dps8/dps8_socket_dev.c sim_printf ("socket() domain   %d\n", domain);
domain            351 src/dps8/dps8_socket_dev.c     if (domain != AF_INET)       // Only AF_INET