T2_HAE_4          379 arch/alpha/kernel/core_t2.c 	printk("%s: HAE_4 was 0x%lx\n", __func__, *(vulp)T2_HAE_4);
T2_HAE_4          401 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_4 = *(vulp)T2_HAE_4;
T2_HAE_4          479 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_4 = 0; mb();
T2_HAE_4          499 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_4 = t2_saved_config.hae_4;