Searched refs:nxctl_dtor (Results 1 – 4 of 4) sorted by relevance
62 nxctl_dtor(nxctl); in nxop_close()144 nxctl_dtor(nxctl); in __nexus_open()
500 extern void nxctl_dtor(void *);
826 nxctl_dtor(nxctl); in kern_nexus_controller_create()1332 nxctl_dtor(nxctl); in kern_nexus_controller_destroy()
1227 nxctl_dtor(void *arg) in nxctl_dtor() function