__c67x00         1125 drivers/usb/c67x00/c67x00-sched.c static void c67x00_sched_tasklet(unsigned long __c67x00)
__c67x00         1127 drivers/usb/c67x00/c67x00-sched.c 	struct c67x00_hcd *c67x00 = (struct c67x00_hcd *)__c67x00;