__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;