Symbol: set_irq_posting_cap