const VIRGLRENDERER_DRM: u32 = _; // 1_024u32