pub const PRI_xen_pfn: &[u8; 3] = b"lx\0";