Symbol: CPUIDECX_CNXTID
sys/arch/amd64/include/specialreg.h
186
#define CPUIDECX_CNXTID 0x00000400 /* Context ID */
sys/arch/i386/include/specialreg.h
133
#define CPUIDECX_CNXTID 0x00000400 /* Context ID */