sk_init 25 src/dps8/dps8_socket_dev.h void sk_init(void); sk_init 4400 src/dps8/dps8_sys.c sk_init ();