Constant CONFIG_VIRGL 

pub const CONFIG_VIRGL: u32 = 1;