T2_HAE_3          192 arch/alpha/kernel/core_t2.c 		t2_cfg = *(vulp)T2_HAE_3 & ~0xc0000000UL;
T2_HAE_3          193 arch/alpha/kernel/core_t2.c 		*(vulp)T2_HAE_3 = 0x40000000UL | t2_cfg;
T2_HAE_3          227 arch/alpha/kernel/core_t2.c 		*(vulp)T2_HAE_3 = t2_cfg;
T2_HAE_3          244 arch/alpha/kernel/core_t2.c 		t2_cfg = *(vulp)T2_HAE_3 & ~0xc0000000UL;
T2_HAE_3          245 arch/alpha/kernel/core_t2.c 		*(vulp)T2_HAE_3 = t2_cfg | 0x40000000UL;
T2_HAE_3          278 arch/alpha/kernel/core_t2.c 		*(vulp)T2_HAE_3 = t2_cfg;
T2_HAE_3          378 arch/alpha/kernel/core_t2.c 	printk("%s: HAE_3 was 0x%lx\n", __func__, *(vulp)T2_HAE_3);
T2_HAE_3          400 arch/alpha/kernel/core_t2.c 	t2_saved_config.hae_3 = *(vulp)T2_HAE_3;
T2_HAE_3          468 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_3 = 0; mb(); /* Config Space HAE */
T2_HAE_3          498 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HAE_3 = t2_saved_config.hae_3;