flush_cache_dup_mm
extern void flush_cache_dup_mm(struct mm_struct *mm);
#ifndef flush_cache_dup_mm
flush_cache_dup_mm(oldmm);