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