release_io_ports 1857 drivers/video/fbdev/cirrusfb.c static int release_io_ports;
release_io_ports 1937 drivers/video/fbdev/cirrusfb.c 	if (release_io_ports)
release_io_ports 2137 drivers/video/fbdev/cirrusfb.c 		release_io_ports = 1;
release_io_ports 2160 drivers/video/fbdev/cirrusfb.c 	if (release_io_ports)
release_io_ports  135 drivers/video/fbdev/hgafb.c static int release_io_ports = 0;
release_io_ports  292 drivers/video/fbdev/hgafb.c 		release_io_ports = 1;
release_io_ports  351 drivers/video/fbdev/hgafb.c 	if (release_io_ports)
release_io_ports  609 drivers/video/fbdev/hgafb.c 	if (release_io_ports)