Constant VIRTUALIZATION_STACK_CPUID_VENDOR 

pub const VIRTUALIZATION_STACK_CPUID_VENDOR: u32 = 0x40000080;