>Here's a small patch I needed to build today's kernel (well, and
>yesterday's too, but I forgot).  Without looking, I'm not sure if
>all the caddr_t's should be vm_offset_t's or vice versa...

The first two of these are already in today's sup source, aren't they?

Thinking about it more, MachHitFlushDCache needs renaming:).
All the uses you've found are inside #ifdef MIPS3, so we could
just use mips3_HitFlushDCache.

Since that function flushes the cache based on virtual addreses
(more-or-less), it should probably take a vm_offset_t.

And by all means, send PRs. :)