Constant linux_raw_sys::bootparam::VIDEO_TYPE_SGI

pub const VIDEO_TYPE_SGI: u32 = 51;