pub const VMCS_RO_INSTR_ERROR: u32 = 0x00004400;