Christopher SEKIYA said;

> Maybe I'm just being thick, but aren't all post-r3k L1 caches VIPT?

A1)  Not alll post-r3k L1 is VIPT.
A2)  Even if cache is VIPT, Dcache-size/way <= 4KB cases are 
effective-PIPT.   Your code shows you do not understand how VIPT
makes virutal alias issue.  I recommend you to read a nice book;
    Curt Schimmel,
    UNIX System for Modern Architecture,
    ISBN 0-201-63338-8.
The point is OS must pay full attention NOT to make virtual alias at
run time.  zero_page/copy_page produce VA condition on every
occasion,  what-a-....

Toru Nishimura/ALKYL Technology