Constant xen_sys::XEN_CPUID

pub const XEN_CPUID: &[u8; 39] = b".byte 0x0f,0x0b,0x78,0x65,0x6e ; cpuid\0";