misc_deregister(&mmapper_dev); 
static void mmapper_exit(void){}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3df59529ad1045da61698bb5dd8ebaa547aeb46f/mmapper_kern.c/buggy/arch/um/drivers/mmapper_kern.c