Symbol: INTR_ISRCF_IPI