T2_HAE_2          377 arch/alpha/kernel/core_t2.c 	printk("%s: HAE_2 was 0x%lx\n", __func__, *(vulp)T2_HAE_2);
T2_HAE_2          399 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_2 = *(vulp)T2_HAE_2;
T2_HAE_2          467 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_2 = 0; mb(); /* Sparse I/O HAE */
T2_HAE_2          497 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_2 = t2_saved_config.hae_2;