set_mmu_pid        14 arch/nios2/include/asm/tlb.h extern void set_mmu_pid(unsigned long pid);
set_mmu_pid        55 arch/nios2/mm/mmu_context.c 	set_mmu_pid(CTX_PID(context));