K 10 svn:author V 6 cognet K 8 svn:date V 27 2011-11-02T21:48:31.078592Z K 7 svn:log V 198 Introduce ARM_L2_PIPT, as arm can have either a PIPT or a VIPT L2 cache. Based on work by Ben Gray, as found here : https://gitorious.org/+freebsd-omap-team/freebsd/freebsd-omap/commits/bengray-wip END