Constant TVS_EX_DOUBLEBUFFER 

pub const TVS_EX_DOUBLEBUFFER: u32 = 4u32;