431 stub_inpcb_create(struct socket *so, struct label *solabel,  in stub_inpcb_create()  argument
445 stub_inpcb_sosetlabel(struct socket *so, struct label *solabel,  in stub_inpcb_sosetlabel()  argument
899     struct label *solabel)  in stub_socket_check_accept()  argument
912     struct label *solabel, struct sockaddr *sa)  in stub_socket_check_bind()  argument
925     struct label *solabel, struct sockaddr *sa)  in stub_socket_check_connect()  argument
944 stub_socket_check_deliver(struct socket *so, struct label *solabel,  in stub_socket_check_deliver()  argument
958     struct label *solabel)  in stub_socket_check_listen()  argument
971     struct label *solabel)  in stub_socket_check_poll()  argument
984     struct label *solabel)  in stub_socket_check_receive()  argument
997     struct label *solabel, struct label *newlabel)  in stub_socket_check_relabel()  argument
1006     struct label *solabel)  in stub_socket_check_send()  argument
1019     struct label *solabel)  in stub_socket_check_stat()  argument
1040    struct label *solabel)  in stub_socket_check_visible()  argument
1053     struct label *solabel)  in stub_socket_create()  argument
1059 stub_socket_create_mbuf(struct socket *so, struct label *solabel,  in stub_socket_create_mbuf()  argument
1086     struct label *solabel, struct label *newlabel)  in stub_socket_relabel()  argument