whc_dbg_clean_up  318 drivers/staging/wusbcore/host/whci/hcd.c 		whc_dbg_clean_up(whc);
whc_dbg_clean_up  200 drivers/staging/wusbcore/host/whci/whcd.h void whc_dbg_clean_up(struct whc *whc);