83 sdev_suspend(dev_t dev, cp_grant_id_t grant0, cp_grant_id_t grant1,  in sdev_suspend()
119 sdev_socket(int domain, int type, int protocol, dev_t * dev, int pair)  in sdev_socket()
179 sdev_bindconn(dev_t dev, int type, vir_bytes addr, unsigned int addr_len,  in sdev_bindconn()
220 sdev_bind(dev_t dev, vir_bytes addr, unsigned int addr_len, int filp_flags)  in sdev_bind()
230 sdev_connect(dev_t dev, vir_bytes addr, unsigned int addr_len, int filp_flags)  in sdev_connect()
242 sdev_simple(dev_t dev, int type, int param)  in sdev_simple()
280 sdev_listen(dev_t dev, int backlog)  in sdev_listen()
292 sdev_accept(dev_t dev, vir_bytes addr, unsigned int addr_len, int filp_flags,  in sdev_accept()
340 sdev_readwrite(dev_t dev, vir_bytes data_buf, size_t data_len,  in sdev_readwrite()
417 sdev_ioctl(dev_t dev, unsigned long request, vir_bytes buf, int filp_flags)  in sdev_ioctl()
454 sdev_setsockopt(dev_t dev, int level, int name, vir_bytes addr,  in sdev_setsockopt()
504 sdev_get(dev_t dev, int type, int level, int name, vir_bytes addr,  in sdev_get()
561 sdev_getsockopt(dev_t dev, int level, int name, vir_bytes addr,  in sdev_getsockopt()
572 sdev_getsockname(dev_t dev, vir_bytes addr, unsigned int * addr_len)  in sdev_getsockname()
582 sdev_getpeername(dev_t dev, vir_bytes addr, unsigned int * addr_len)  in sdev_getpeername()
592 sdev_shutdown(dev_t dev, int how)  in sdev_shutdown()
604 sdev_close(dev_t dev, int may_suspend)  in sdev_close()
647 sdev_select(dev_t dev, int ops)  in sdev_select()
683 	dev_t dev;  in sdev_finish_accept()  local
995 	dev_t dev;  in sdev_reply()  local