Constant VMCS_CTRL_VIRTUAL_APIC 

pub const VMCS_CTRL_VIRTUAL_APIC: uint32_t = 0x00002012;