pub const VMASST_TYPE_4gb_segments: u32 = 0;