hae_2              92 arch/alpha/kernel/core_t2.c   	unsigned long hae_2;
hae_2             399 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_2 = *(vulp)T2_HAE_2;
hae_2             497 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_2 = t2_saved_config.hae_2;