* Author: Andy Fleming <afleming@freescale.com>
  *        Kumar Gala <galak@kernel.crashing.org>
  *
- * Copyright 2006-2008 Freescale Semiconductor Inc.
+ * Copyright 2006-2008, 2011 Freescale Semiconductor Inc.
  *
  * This program is free software; you can redistribute  it and/or modify it
  * under  the terms of  the GNU General  Public License as published by the
        }
 
        if (cpu_has_feature(CPU_FTR_DBELL)) {
-               /* .message_pass defaults to smp_muxed_ipi_message_pass */
+               /*
+                * If left NULL, .message_pass defaults to
+                * smp_muxed_ipi_message_pass
+                */
                smp_85xx_ops.cause_ipi = doorbell_cause_ipi;
        }
 
-       BUG_ON(!smp_85xx_ops.message_pass);
-
        smp_ops = &smp_85xx_ops;
 
 #ifdef CONFIG_KEXEC