T2_WBASE1         334 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WBASE1 = temp | 0x80000UL; /* OR in ENABLE bit */
T2_WBASE1         341 arch/alpha/kernel/core_t2.c 	       __func__, *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_WBASE1         383 arch/alpha/kernel/core_t2.c 	       *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_WBASE1         391 arch/alpha/kernel/core_t2.c 	t2_saved_config.window[0].wbase = *(vulp)T2_WBASE1;
T2_WBASE1         488 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WBASE1 = t2_saved_config.window[0].wbase;