height_pixels     120 drivers/video/fbdev/hyperv_fb.c 	u32 height_pixels;
height_pixels     272 drivers/video/fbdev/hyperv_fb.c 	msg.situ.video_output[0].height_pixels = info->var.yres;