Constant IA32_X2APIC_APICID 

const IA32_X2APIC_APICID: u32 = 0x802;