Searched refs:idn_signal_data_server (Results 1 – 3 of 3) sorted by relevance
3678 extern void idn_signal_data_server(int domid, ushort_t channel);
4945 idn_signal_data_server((int)xp->iv_domid, in idn_handler()
11950 idn_signal_data_server(int domid, ushort_t channel) in idn_signal_data_server() function