pub const XEN_HAVE_PV_UPCALL_MASK: u32 = 1;