T2_HAE_3
t2_cfg = *(vulp)T2_HAE_3 & ~0xc0000000UL;
*(vulp)T2_HAE_3 = 0x40000000UL | t2_cfg;
*(vulp)T2_HAE_3 = t2_cfg;
t2_cfg = *(vulp)T2_HAE_3 & ~0xc0000000UL;
*(vulp)T2_HAE_3 = t2_cfg | 0x40000000UL;
*(vulp)T2_HAE_3 = t2_cfg;
printk("%s: HAE_3 was 0x%lx\n", __func__, *(vulp)T2_HAE_3);
t2_saved_config.hae_3 = *(vulp)T2_HAE_3;
*(vulp)T2_HAE_3 = 0; mb(); /* Config Space HAE */
*(vulp)T2_HAE_3 = t2_saved_config.hae_3;