Where can I find cacheflush() on a DS3100?

[Edward Rothberg]

Can anyone tell me in what library I might find the cacheflush() call
on a DS3100?  The man page doesn't say that I should look anywhere special, yet
the linker can't find it.  Doing an 'nm' on libc.a tells me that it's used
by something there, but it's not defined there.  None of the other lib*.a
seem to know anything about it.  It's a syscall, and it has a
number defined in syscall.h, but I can't seem to find it anywhere.
I'm wondering if maybe the call didn't make it over from the MIPSco box,
but the man page did.

Edward Rothberg
rothberg at polya.stanford.edu