vc_class = class_simple_create(THIS_MODULE, "vc"); 
vc_class = class_create(THIS_MODULE, "vc"); 
int __init vcs_init(void){	if (register_chrdev(VCS_MAJOR, "vcs", &vcs_fops))		panic("unable to get major %d for vcs device", VCS_MAJOR);	vc_class = class_simple_create(THIS_MODULE, "vc");	devfs_mk_cdev(MKDEV(VCS_MAJOR, 0), S_IFCHR|S_IRUSR|S_IWUSR, "vcc/0");	devfs_mk_cdev(MKDEV(VCS_MAJOR, 128), S_IFCHR|S_IRUSR|S_IWUSR, "vcc/a0");	class_simple_device_add(vc_class, MKDEV(VCS_MAJOR, 0), NULL, "vcs");	class_simple_device_add(vc_class, MKDEV(VCS_MAJOR, 128), NULL, "vcsa");	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ca8eca6884861c1ce294b05aacfdf9045bba9aff/vc_screen.c/buggy/drivers/char/vc_screen.c