Symbol: IPMP_EVENT_CHAN