HelenOS sources

VA_SECONDARY_CONTEXT_REG   75 kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h #define VA_SECONDARY_CONTEXT_REG	0x10	/**< DMMU secondary context register. */
VA_SECONDARY_CONTEXT_REG   44 kernel/arch/sparc64/include/arch/mm/sun4v/mmu.h #define VA_SECONDARY_CONTEXT_REG	0x10	/**< secondary context register VA. */