VMWGFX_MIN_INITIAL_HEIGHT
height = max_t(uint32_t, height, VMWGFX_MIN_INITIAL_HEIGHT);
height = VMWGFX_MIN_INITIAL_HEIGHT;
du->pref_height = VMWGFX_MIN_INITIAL_HEIGHT;
VMWGFX_MIN_INITIAL_HEIGHT};