pub const VMCS_CTRL_VIRTUAL_APIC: u32 = 0x00002012;