HelenOS sources

VA_PRIMARY_CONTEXT_REG  285 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	return asi_u64_read(ASI_DMMU, VA_PRIMARY_CONTEXT_REG);
VA_PRIMARY_CONTEXT_REG  294 kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h 	asi_u64_write(ASI_DMMU, VA_PRIMARY_CONTEXT_REG, v);
VA_PRIMARY_CONTEXT_REG   92 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	return asi_u64_read(ASI_PRIMARY_CONTEXT_REG, VA_PRIMARY_CONTEXT_REG);
VA_PRIMARY_CONTEXT_REG  101 kernel/arch/sparc64/include/arch/mm/sun4v/tlb.h 	asi_u64_write(ASI_PRIMARY_CONTEXT_REG, VA_PRIMARY_CONTEXT_REG, v);