LEON_BYPASS_STORE_PA
LEON_BYPASS_STORE_PA(&(leon3_irqctrl_regs->mpbroadcast), mask);
LEON_BYPASS_STORE_PA(&leon3_irqctrl_regs->mask[i], 0);
LEON_BYPASS_STORE_PA(&(leon3_irqctrl_regs->mpstatus), 1 << i);