release_io_port   134 drivers/video/fbdev/hgafb.c static int release_io_port = 0;
release_io_port   294 drivers/video/fbdev/hgafb.c 		release_io_port = 1;
release_io_port   353 drivers/video/fbdev/hgafb.c 	if (release_io_port)
release_io_port   612 drivers/video/fbdev/hgafb.c 	if (release_io_port)