pub const XEN_ELFNOTE_PHYS32_ENTRY: u32 = 18;