Searched refs:idn_terminate_cmd (Results 1 – 1 of 1) sorted by relevance
114 static void idn_terminate_cmd(int domid, int serrno);881 idn_terminate_cmd(domid, ECANCELED); in idn_disconnect()3147 idn_terminate_cmd(domid, ECANCELED); in idn_recv_fin()8367 idn_terminate_cmd(int domid, int serrno) in idn_terminate_cmd() function