HelenOS sources

ASI_SECONDARY_CONTEXT_REG  110 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	return asi_u64_read(ASI_SECONDARY_CONTEXT_REG, VA_SECONDARY_CONTEXT_REG);
ASI_SECONDARY_CONTEXT_REG  119 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	asi_u64_write(ASI_SECONDARY_CONTEXT_REG, VA_SECONDARY_CONTEXT_REG, v);