Symbol: SEFF0EBX_INVPCID
sys/arch/amd64/include/specialreg.h
228
#define SEFF0EBX_INVPCID 0x00000400 /* INVPCID instruction */
sys/arch/i386/include/specialreg.h
168
#define SEFF0EBX_INVPCID 0x00000400 /* INVPCID instruction */