pub const VMCS_GUEST_CR3: u32 = 0x00006802;