GEF_PIC_INTR_MASK
mask = in_be32(gef_pic_irq_reg_base + GEF_PIC_INTR_MASK(0));
out_be32(gef_pic_irq_reg_base + GEF_PIC_INTR_MASK(0), mask);
mask = in_be32(gef_pic_irq_reg_base + GEF_PIC_INTR_MASK(0));
out_be32(gef_pic_irq_reg_base + GEF_PIC_INTR_MASK(0), mask);
mask = in_be32(gef_pic_irq_reg_base + GEF_PIC_INTR_MASK(0));
#define GEF_PIC_CPU0_INTR_MASK GEF_PIC_INTR_MASK(0)
#define GEF_PIC_CPU1_INTR_MASK GEF_PIC_INTR_MASK(1)