svga3dsurface_get_mip_size 1230 drivers/gpu/drm/vmwgfx/device_include/svga3d_surfacedefs.h 			svga3dsurface_get_mip_size(base_level_size, mip);
svga3dsurface_get_mip_size 1305 drivers/gpu/drm/vmwgfx/device_include/svga3d_surfacedefs.h 		mipSize = svga3dsurface_get_mip_size(baseLevelSize, i);