const VIRGLRENDERER_THREAD_SYNC: u32 = _; // 2u32