Symbol: T2_WBASE1
arch/alpha/kernel/core_t2.c
334
*(vulp)T2_WBASE1 = temp | 0x80000UL; /* OR in ENABLE bit */
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
391
t2_saved_config.window[0].wbase = *(vulp)T2_WBASE1;
arch/alpha/kernel/core_t2.c
488
*(vulp)T2_WBASE1 = t2_saved_config.window[0].wbase;