whc_dbg_init      293 drivers/staging/wusbcore/host/whci/hcd.c 	whc_dbg_init(whc);
whc_dbg_init      199 drivers/staging/wusbcore/host/whci/whcd.h void whc_dbg_init(struct whc *whc);