T2_TBASE1         337 arch/alpha/kernel/core_t2.c 	*(vulp)T2_TBASE1 = 0;
T2_TBASE1         341 arch/alpha/kernel/core_t2.c 	       __func__, *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_TBASE1         383 arch/alpha/kernel/core_t2.c 	       *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_TBASE1         393 arch/alpha/kernel/core_t2.c 	t2_saved_config.window[0].tbase = *(vulp)T2_TBASE1;
T2_TBASE1         490 arch/alpha/kernel/core_t2.c 	*(vulp)T2_TBASE1 = t2_saved_config.window[0].tbase;