pub const VMCS_MAX: u32 = 0x00006c18;