floatValue        458 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h       float                floatValue;
floatValue        898 drivers/gpu/drm/vmwgfx/device_include/svga3d_cmd.h       float                 floatValue;