Searched refs:nxctl_dtor (Results 1 – 4 of 4) sorted by relevance
76 nxctl_dtor(nxctl); in nxop_close()158 nxctl_dtor(nxctl); in __nexus_open()
512 extern void nxctl_dtor(void *);
824 nxctl_dtor(nxctl); in kern_nexus_controller_create()1330 nxctl_dtor(nxctl); in kern_nexus_controller_destroy()
1211 nxctl_dtor(void *arg) in nxctl_dtor() function