Symbol: PIN_BASED_NMI_EXITING