class_simple_device_remove(MKDEV(PPP_MAJOR, 0)); class_simple_destroy(ppp_class); 
class_device_destroy(ppp_class, MKDEV(PPP_MAJOR, 0)); class_destroy(ppp_class); 
static void __exit ppp_cleanup(void){	/* should never happen */	if (atomic_read(&ppp_unit_count) || atomic_read(&channel_count))		printk(KERN_ERR "PPP: removing module but units remain!\n");	cardmap_destroy(&all_ppp_units);	if (unregister_chrdev(PPP_MAJOR, "ppp") != 0)		printk(KERN_ERR "PPP: failed to unregister PPP device\n");	devfs_remove("ppp");	class_simple_device_remove(MKDEV(PPP_MAJOR, 0));	class_simple_destroy(ppp_class);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/ppp_generic.c/clean/drivers/net/ppp_generic.c