pmap_is_page_colored_p
KASSERT(pmap_is_page_colored_p(md));
} else if (!pmap_is_page_colored_p(md)) {
KASSERT(arm_cache_prefer_mask == 0 || pmap_is_page_colored_p(md));
if (pmap_is_page_colored_p(md)
if (!pmap_is_page_colored_p(md)) {
if (!pmap_is_page_colored_p(md)) {
if (!pmap_is_page_colored_p(dst_md)) {