intel_get_platform_id - Linux

Symbol: intel_get_platform_id

arch/x86/include/asm/microcode.h

extern u32 intel_get_platform_id(void);

arch/x86/kernel/cpu/intel.c

c->intel_platform_id = intel_get_platform_id();

arch/x86/kernel/cpu/microcode/intel.c

sig->pf = 1 << intel_get_platform_id();