pub const XENFEAT_hvm_pirqs: u32 = 10;