fix_range(current->mm, 0, host_task_size, 1); 
unsigned long end = proc_mm ? task_size : CONFIG_STUB_START; fix_range(current->mm, 0, end, 1); 
void force_flush_all_skas(void){        fix_range(current->mm, 0, host_task_size, 1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d67b569f5f620c0fb95d5212642746b7ba9d29e4/tlb.c/clean/arch/um/kernel/skas/tlb.c