pub const VMCS_GUEST_IGNORE_IRQ: u32 = 0x00004824;