Constant XENPF_get_cpuinfo

Source
pub const XENPF_get_cpuinfo: u32 = 55;