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