Masao Uebayashi <uebayasi%tombi.co.jp@localhost> responds as;
The VIPT rule is simple; just make sure to match colour betweenVPN and PFN.Hmmm. I've thought that the page colouring constraint is *should*, not *must*.
Colour match between VPN and PFN is *must* If not obeying the rule, it's possible two or more cache index is selected for given a physical address. Consider the reason why VIPT alias issue vanishes when PAGE_SIZE is increased. It would make the number of colour into one _by_matching_ low order bits (= colour selector field) of VPN and PFN. Toru Nishimura / ALKYL Technology