pub const XEN_ELFNOTE_PADDR_OFFSET: u32 = 4;