width_pixels      119 drivers/video/fbdev/hyperv_fb.c 	u32 width_pixels;
width_pixels      271 drivers/video/fbdev/hyperv_fb.c 	msg.situ.video_output[0].width_pixels = info->var.xres;