HelenOS sources

TTE_V_SHIFT        46 kernel/arch/sparc64/include/arch/mm/sun4u/tte.h #define TTE_V_SHIFT	63
TTE_V_SHIFT        38 kernel/arch/sparc64/include/arch/mm/sun4v/tte.h #define TTE_V_SHIFT	63	/**< valid */
HelenOS homepage, sources at GitHub