void __init mpc85xx_ds_pic_init(void)
 {
        struct mpic *mpic;
+       int flags = MPIC_BIG_ENDIAN | MPIC_SINGLE_DEST_CPU;
 #ifdef CONFIG_PPC_I8259
        struct device_node *np;
        struct device_node *cascade_node = NULL;
        int cascade_irq;
 #endif
-       if (of_machine_is_compatible("fsl,MPC8572DS-CAMP")) {
-               mpic = mpic_alloc(NULL, 0,
-                       MPIC_NO_RESET |
-                       MPIC_BIG_ENDIAN |
-                       MPIC_SINGLE_DEST_CPU,
-                       0, 256, " OpenPIC  ");
-       } else {
-               mpic = mpic_alloc(NULL, 0,
-                         MPIC_BIG_ENDIAN |
-                         MPIC_SINGLE_DEST_CPU,
-                       0, 256, " OpenPIC  ");
-       }
+
+       if (of_machine_is_compatible("fsl,MPC8572DS-CAMP"))
+               flags |= MPIC_NO_RESET;
+
+       mpic = mpic_alloc(NULL, 0, flags, 0, 256, " OpenPIC  ");
 
        BUG_ON(mpic == NULL);
        mpic_init(mpic);
 
 void __init mpc85xx_rdb_pic_init(void)
 {
        struct mpic *mpic;
+       int flags = MPIC_BIG_ENDIAN | MPIC_SINGLE_DEST_CPU;
 
-       if (of_machine_is_compatible("fsl,MPC85XXRDB-CAMP")) {
-               mpic = mpic_alloc(NULL, 0, MPIC_NO_RESET |
-                       MPIC_BIG_ENDIAN |
-                       MPIC_SINGLE_DEST_CPU,
-                       0, 256, " OpenPIC  ");
-       } else {
-               mpic = mpic_alloc(NULL, 0,
-                 MPIC_BIG_ENDIAN |
-                 MPIC_SINGLE_DEST_CPU,
-                 0, 256, " OpenPIC  ");
-       }
+       if (of_machine_is_compatible("fsl,MPC85XXRDB-CAMP"))
+               flags |= MPIC_NO_RESET;
+
+       mpic = mpic_alloc(NULL, 0, flags, 0, 256, " OpenPIC  ");
 
        BUG_ON(mpic == NULL);
        mpic_init(mpic);