Searched refs:idn_mainmbox_reset (Results 1 – 1 of 1) sorted by relevance
123 static void idn_mainmbox_reset(int domid, idn_mainmbox_t *cmp);7359 idn_mainmbox_reset(domid, dp->dmbox.m_send); in idn_recv_config_done()7360 idn_mainmbox_reset(domid, dp->dmbox.m_recv); in idn_recv_config_done()10051 idn_mainmbox_reset(int domid, idn_mainmbox_t *cmp) in idn_mainmbox_reset() function