Toru Nishimura wrote:

> So, isn't it ok to provide generic but possibly less-optimal default;
> 
>         LEAF(mips1_wbflush)
>                 lui     v0, 0x8000
>                 lw      v0, 0(v0)
>                 j       ra
>                 nop
>                 END(mips1_wbflush)

This should be 0xa000 (uncached) to get the desired result.

Do we want the call in question to only flush the processor write
buffer, or potentially other write buffers in the memory controller?

jeffs