dcache BUG()

[Cort Dougan]

Dan... your arguments aside, the 4xx is a BookE processor and IBM says that
"BookE is good".  Aren't IBM assurances enough for you?

I'd claim that BookE isn't PowerPC, myself.  I'm sad that Linux/PPC
supports that pile of crap.

} Because the 4xx sucks........unlike other PowerPC processors, it
} doesn't appear to use any of the reservation address to break or
} match a lwarx.

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/