Searched refs:debug_idnxdc (Results 1 – 2 of 2) sorted by relevance
3413 ((void) debug_idnxdc("idnxdc", (int)(d), (mt), \3632 extern int debug_idnxdc(char *f, int domid, idn_msgtype_t *mtp,
5719 debug_idnxdc(char *f, int domid, idn_msgtype_t *mtp, function