HelenOS sources

mmu_primary_context_read  528 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	ctx.v = pc_save.v = mmu_primary_context_read();
mmu_primary_context_read  555 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	ctx.v = pc_save.v = mmu_primary_context_read();