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