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