Symbol: IRQ_POSTING_CAP