height_pix        646 drivers/video/fbdev/gbefb.c 	int height_pix;
height_pix        788 drivers/video/fbdev/gbefb.c 	height_pix = xpmax * ypmax / maxPixelsPerTileX;
height_pix        791 drivers/video/fbdev/gbefb.c 	SET_GBE_FIELD(FRM_SIZE_PIXEL, FB_HEIGHT_PIX, val, height_pix);