pub const VMCS_CTRL_VMENTRY_INSTR_LEN: u32 = 0x0000401a;