Constant VIRTUALIZATION_STACK_CPUID_PROPERTIES 

pub const VIRTUALIZATION_STACK_CPUID_PROPERTIES: u32 = 0x40000082;