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;