Constant IA32_X2APIC_VERSION 

const IA32_X2APIC_VERSION: u32 = 0x803;