Constant xen_sys::VMASST_TYPE_4gb_segments_notify

pub const VMASST_TYPE_4gb_segments_notify: u32 = 1;