Symbol: CPUIDECX_SKINIT
sys/arch/amd64/include/specialreg.h
348
#define CPUIDECX_SKINIT 0x00001000 /* SKINIT and STGI are supported */
sys/arch/i386/include/specialreg.h
260
#define CPUIDECX_SKINIT 0x00001000 /* SKINIT and STGI are supported */