mm->swap_token_time = jiffies + SWAP_TOKEN_CHECK_INTERVAL; 
void __put_swap_token(struct mm_struct *mm){	spin_lock(&swap_token_lock);	if (likely(mm == swap_token_mm)) {		swap_token_mm = &init_mm;		swap_token_check = jiffies;	}	spin_unlock(&swap_token_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f7b7fd8f3ebbb2810d6893295aa984acd0fd30db/thrash.c/clean/mm/thrash.c