if (width % 2 || width > ORIG_VIDEO_COLS || height > ORIG_VIDEO_LINES) 
if (width % 2 || width > ORIG_VIDEO_COLS || height > (ORIG_VIDEO_LINES * vga_default_font_height)/ c->vc_font.height) 
static int vgacon_resize(struct vc_data *c, unsigned int width,				unsigned int height){	if (width % 2 || width > ORIG_VIDEO_COLS || height > ORIG_VIDEO_LINES)		return -EINVAL;	if (CON_IS_VISIBLE(c) && !vga_is_gfx) /* who knows */		vgacon_doresize(c, width, height);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6d36ba629e0ef47a03d3703ee1d38143c25532a8/vgacon.c/clean/drivers/video/console/vgacon.c