page_papfn_2_color_cpu
if ((((page_papfn_2_color_cpu(pfn, szc) ^ color) & ceq_mask) == 0) &&
if ((((page_papfn_2_color_cpu(npfn, szc) ^ color) &
if (((page_papfn_2_color_cpu(npfn, szc) ^ color) &
ASSERT(((page_papfn_2_color_cpu(npfn, szc) ^ color) & ceq_mask) == 0);