T2_WMASK1         336 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WMASK1 = temp;
T2_WMASK1         341 arch/alpha/kernel/core_t2.c 	       __func__, *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_WMASK1         383 arch/alpha/kernel/core_t2.c 	       *(vulp)T2_WBASE1, *(vulp)T2_WMASK1, *(vulp)T2_TBASE1);
T2_WMASK1         392 arch/alpha/kernel/core_t2.c 	t2_saved_config.window[0].wmask = *(vulp)T2_WMASK1;
T2_WMASK1         489 arch/alpha/kernel/core_t2.c 	*(vulp)T2_WMASK1 = t2_saved_config.window[0].wmask;