Symbol: DDI_INTR_IRM