VMWGFX_MIN_INITIAL_WIDTH
width = max_t(uint32_t, width, VMWGFX_MIN_INITIAL_WIDTH);
width = VMWGFX_MIN_INITIAL_WIDTH;
du->pref_width = VMWGFX_MIN_INITIAL_WIDTH;
VMWGFX_MIN_INITIAL_WIDTH,