COOKIE_FROM
kernel_pmap->pm_cookie = COOKIE_FROM(-1, INT_MIN);
pmap->pm_cookie = COOKIE_FROM(ASID_RESERVED_FOR_PID_0, INT_MIN);
pmap->pm_cookie = COOKIE_FROM(-1, INT_MAX);
curpmap->pm_cookie = COOKIE_FROM(asid, epoch);
pmap->pm_cookie = COOKIE_FROM(new_asid, set->asid_epoch);