static inline void create_debug_files (struct ohci_hcd *ohci) { struct class_device *cldev = ohci_to_hcd(ohci)->self.class_dev;  class_device_create_file(cldev, &class_device_attr_async); class_device_create_file(cldev, &class_device_attr_periodic); class_device_create_file(cldev, &class_device_attr_registers); ohci_dbg (ohci, "created debug files\n"); } 
static inline void create_debug_files (struct ohci_hcd *bus) { } 
static inline void create_debug_files (struct ohci_hcd *ohci){	struct class_device *cldev = ohci_to_hcd(ohci)->self.class_dev;	class_device_create_file(cldev, &class_device_attr_async);	class_device_create_file(cldev, &class_device_attr_periodic);	class_device_create_file(cldev, &class_device_attr_registers);	ohci_dbg (ohci, "created debug files\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fdd13b36c4a501d8787a27e54635fbd943f2685d/ohci-dbg.c/buggy/drivers/usb/host/ohci-dbg.c