hae_4              94 arch/alpha/kernel/core_t2.c 	unsigned long hae_4;
hae_4             401 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_4 = *(vulp)T2_HAE_4;
hae_4             499 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_4 = t2_saved_config.hae_4;