dummy_remove (&the_pdev.dev); dummy_pdev_remove (); 
platform_device_unregister (&the_udc_pdev); platform_device_unregister (&the_hcd_pdev); driver_unregister (&dummy_udc_driver); driver_unregister (&dummy_hcd_driver); 
static void __exit cleanup (void){	dummy_remove (&the_pdev.dev);	dummy_pdev_remove ();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b762510c186584a6be0d3ece03e8a4b2ac13a8/dummy_hcd.c/buggy/drivers/usb/gadget/dummy_hcd.c