On Fri, Jul 15, 2016 at 05:59:46AM +0000, Nick Hudson wrote: > + > +bool > +mm_md_page_color(paddr_t pa, int *colorp) > +{ > + *colorp = atop(pa & arm_cache_prefer_mask); > + > + return arm_cache_prefer_mask ? false : true; > +} > arm_cache_prefer_mask only exists for armv6/armv7 now