vmlfb_release_devices  396 drivers/video/fbdev/vermilion/vermilion.c 		vmlfb_release_devices(par);
vmlfb_release_devices  536 drivers/video/fbdev/vermilion/vermilion.c 	vmlfb_release_devices(par);