Constant VMASST_TYPE_4gb_segments_notify 

pub const VMASST_TYPE_4gb_segments_notify: u32 = 1;