whc_set_ptk       273 drivers/staging/wusbcore/host/whci/hcd.c 	wusbhc->set_ptk         = whc_set_ptk;
whc_set_ptk       147 drivers/staging/wusbcore/host/whci/whcd.h int whc_set_ptk(struct wusbhc *wusbhc, u8 port_idx, u32 tkid,