Symbol: MACH_CPU_ARG_LOCAL_X2APIC