Constant xen_sys::XEN_HAVE_PV_GUEST_ENTRY

pub const XEN_HAVE_PV_GUEST_ENTRY: u32 = 1;