* the processor will continue on to secondary_start
         */
        paca[nr].cpu_start = 1;
-       mb();
+       smp_mb();
 }
 
 #endif /* CONFIG_PPC_MULTIPLATFORM */
        }
 
        call_data = &data;
-       wmb();
+       smp_wmb();
        /* Send a message to all other CPUs and wait for them to respond */
        smp_ops->message_pass(MSG_ALL_BUT_SELF, PPC_MSG_CALL_FUNCTION);
 
 
        /* get the target out of it's holding state */
        per_cpu(cpu_state, cpu) = CPU_UP_PREPARE;
-       wmb();
+       smp_wmb();
 
        while (!cpu_online(cpu))
                cpu_relax();
        int i;
 
        for (i = 0; i < 100; i++) {
-               rmb();
+               smp_rmb();
                if (per_cpu(cpu_state, cpu) == CPU_DEAD)
                        return;
                msleep(100);
        cpu = smp_processor_id();
        printk(KERN_DEBUG "CPU%d offline\n", cpu);
        __get_cpu_var(cpu_state) = CPU_DEAD;
-       wmb();
+       smp_wmb();
        while (__get_cpu_var(cpu_state) != CPU_UP_PREPARE)
                cpu_relax();
 
         * be written out to main store before we release
         * the processor.
         */
-       mb();
+       smp_mb();
 
        /* wake up cpus */
        DBG("smp: kicking cpu %d\n", cpu);
 
        temp_varp->tb_to_xs = do_gtod.varp->tb_to_xs;
        temp_varp->tb_orig_stamp = new_tb_orig_stamp;
        temp_varp->stamp_xsec = new_stamp_xsec;
-       mb();
+       smp_mb();
        do_gtod.varp = temp_varp;
        do_gtod.var_idx = temp_idx;
 
        ++(systemcfg->tb_update_count);
-       wmb();
+       smp_wmb();
        systemcfg->tb_orig_stamp = new_tb_orig_stamp;
        systemcfg->stamp_xsec = new_stamp_xsec;
-       wmb();
+       smp_wmb();
        ++(systemcfg->tb_update_count);
 }
 
        temp_varp->tb_to_xs = new_tb_to_xs;
        temp_varp->stamp_xsec = new_stamp_xsec;
        temp_varp->tb_orig_stamp = do_gtod.varp->tb_orig_stamp;
-       mb();
+       smp_mb();
        do_gtod.varp = temp_varp;
        do_gtod.var_idx = temp_idx;
 
         * loops back and reads them again until this criteria is met.
         */
        ++(systemcfg->tb_update_count);
-       wmb();
+       smp_wmb();
        systemcfg->tb_to_xs = new_tb_to_xs;
        systemcfg->stamp_xsec = new_stamp_xsec;
-       wmb();
+       smp_wmb();
        ++(systemcfg->tb_update_count);
 
        write_sequnlock_irqrestore( &xtime_lock, flags );