register_filesystem(&tmpfs_fs_type); 
BUG_ON(register_filesystem(&tmpfs_fs_type) != 0);  
static int __init init_tmpfs(void){	register_filesystem(&tmpfs_fs_type);#ifdef CONFIG_TMPFS	devfs_mk_dir("shm");#endif	shm_mnt = kern_mount(&tmpfs_fs_type);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5d57bd39eb3dbf2866b5f5cee8fbd7a29b00c56f/tiny-shmem.c/buggy/mm/tiny-shmem.c