you'r right. the smartness of duppage() isnt really neccesary. we
can just leave the cache alone. when memory is low, newpage() will
uncache pages for us.
I also ripped out all the swap stuff. Either I'm on a machine with at last a Gb or two of RAM, or it's embedded