pixel_mem        1458 drivers/gpu/drm/vmwgfx/vmwgfx_kms.c 	u64 total_pixels = 0, pixel_mem, bb_mem;
pixel_mem        1485 drivers/gpu/drm/vmwgfx/vmwgfx_kms.c 	pixel_mem = total_pixels * 4;
pixel_mem        1492 drivers/gpu/drm/vmwgfx/vmwgfx_kms.c 	if (pixel_mem > dev_priv->prim_bb_mem) {