return dvb_usb_device_init(intf,&nova_t_properties,THIS_MODULE); 
return dvb_usb_device_init(intf,&nova_t_properties,THIS_MODULE,NULL); 
static int nova_t_probe(struct usb_interface *intf,		const struct usb_device_id *id){	return dvb_usb_device_init(intf,&nova_t_properties,THIS_MODULE);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/47dc3d688d04f06d8ef90a06c48930906fbc4a8c/nova-t-usb2.c/clean/drivers/media/dvb/dvb-usb/nova-t-usb2.c