T2_HBASE          380 arch/alpha/kernel/core_t2.c 	printk("%s: HBASE was 0x%lx\n", __func__, *(vulp)T2_HBASE);
T2_HBASE          402 arch/alpha/kernel/core_t2.c 	t2_saved_config.hbase = *(vulp)T2_HBASE;
T2_HBASE          463 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HBASE = 0x0; /* Disable HOLES. */
T2_HBASE          500 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HBASE = t2_saved_config.hbase;
T2_HBASE          502 arch/alpha/kernel/core_t2.c 	*(vulp)T2_HBASE; /* READ it back to ensure WRITE occurred. */