ulmax
count = ulmax(count, rle->count);
count = ulmax(count, rle->count);
portal_size = ulmax(rle->end + 1, portal_size);
sc->sc_dp_size = ulmax(sc->sc_dp_size, portal_size);
count = ulmax(count, rle->count);
end = ulmax(rle->end, start + count - 1);
count = ulmax(count, rle->count);
end = ulmax(rle->end, start + count - 1);
cdg_data->shadow_w = ulmax(CCV(ccv, snd_cwnd),
cubic_data->W_max = ulmax(cubic_data->W_max, CCV(ccv, snd_cwnd));
endkernel = ulmax(endkernel, kernelendphys);
adjcount = ulmax(count, rle->count);
adjend = ulmax(rle->end, rle->start + adjcount - 1);
ppn_align = (int)(ulmin(ulmax(PAGE_SIZE, alignment),
ulmax(alignment, VM_LEVEL_0_SIZE),