Searched refs:idn_mainmbox_deinit (Results 1 – 3 of 3) sorted by relevance
3373 idn_mainmbox_deinit(domid, dp->dmbox.m_send); in idn_close_domain()3378 idn_mainmbox_deinit(domid, dp->dmbox.m_recv); in idn_close_domain()
10076 idn_mainmbox_deinit(int domid, idn_mainmbox_t *mmp) in idn_mainmbox_deinit() function
3677 extern void idn_mainmbox_deinit(int domid, idn_mainmbox_t *mmp);