Symbol: MCG_STATUS_RIPV
usr/src/boot/sys/x86/include/specialreg.h
663
#define MCG_STATUS_RIPV 0x00000001
usr/src/uts/intel/sys/mca_x86.h
60
#define MCG_STATUS_RIPV 0x01