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