Searched refs:idn_sync_exit (Results 1 – 3 of 3) sorted by relevance
1940 idn_sync_exit(domid, IDNSYNC_DISCONNECT); in idn_check_nego()2871 idn_sync_exit(domid, IDNSYNC_CONNECT); in idn_final_con()3633 idn_sync_exit(domid, IDNSYNC_CONNECT); in idn_check_fin_pend()4057 idn_sync_exit(domid, IDNSYNC_DISCONNECT); in idn_final_fin()4519 idn_sync_exit(int domid, idn_synccmd_t cmd) in idn_sync_exit() function
3357 idn_sync_exit(domid, IDNSYNC_CONNECT); in idn_close_domain()3358 idn_sync_exit(domid, IDNSYNC_DISCONNECT); in idn_close_domain()
3688 extern void idn_sync_exit(int domid, idn_synccmd_t cmd);