T2_HAE_2
printk("%s: HAE_2 was 0x%lx\n", __func__, *(vulp)T2_HAE_2);
t2_saved_config.hae_2 = *(vulp)T2_HAE_2;
*(vulp)T2_HAE_2 = 0; mb(); /* Sparse I/O HAE */
*(vulp)T2_HAE_2 = t2_saved_config.hae_2;