T2_WBASE2         358 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WBASE2 = temp | 0xc0000UL; /* OR in ENABLE/SG bits */
T2_WBASE2         368 arch/alpha/kernel/core_t2.c 	       __func__, *(vulp)T2_WBASE2, *(vulp)T2_WMASK2, *(vulp)T2_TBASE2);
T2_WBASE2         385 arch/alpha/kernel/core_t2.c 	       *(vulp)T2_WBASE2, *(vulp)T2_WMASK2, *(vulp)T2_TBASE2);
T2_WBASE2         394 arch/alpha/kernel/core_t2.c 	t2_saved_config.window[1].wbase = *(vulp)T2_WBASE2;
T2_WBASE2         491 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WBASE2 = t2_saved_config.window[1].wbase;