Constant xhypervisor::x86_64::consts::vmcs::VMCS_CTRL_EXECUTIVE_VMCS_PTR

pub const VMCS_CTRL_EXECUTIVE_VMCS_PTR: u32 = 0x0000200c;