HelenOS sources

mmu_secondary_context_write  128 kernel/arch/sparc64/src/mm/sun4u/as.c 	mmu_secondary_context_write(ctx.v);
mmu_secondary_context_write  119 kernel/arch/sparc64/src/mm/sun4v/as.c 	mmu_secondary_context_write(as->asid);
HelenOS homepage, sources at GitHub