What is the intention of CONFIG_CPU_HAS_WB? On an RM7000, am I better off doing a pipeline flush (the nops in wbflush.h) or a sync instruction? Also, any guidance on whether I should go out and ensure writes have completed in PCI host adapters and bridges, or whether this is excessive paranoia. Thanks, Kevin --
