pub const XEN_ELFNOTE_INIT_P2M: u32 = 15;