MIPS_CACHE_PINDEX
#define cpu_has_pindexed_dcache (cpu_data[0].dcache.flags & MIPS_CACHE_PINDEX)
c->dcache.flags |= MIPS_CACHE_PINDEX;
c->dcache.flags |= MIPS_CACHE_PINDEX;
if (c->dcache.flags & MIPS_CACHE_PINDEX)
(c->dcache.flags & MIPS_CACHE_PINDEX) ? "PIPT" : "VIPT",