Symbol: CPUIDECX_PCID
sys/arch/amd64/include/specialreg.h
192
#define CPUIDECX_PCID 0x00020000 /* Process-context ID Capability */
sys/arch/i386/include/specialreg.h
139
#define CPUIDECX_PCID 0x00020000 /* Process-context ID Capability */