tbia_window       637 arch/alpha/kernel/core_cia.c 	int temp, cia_rev, tbia_window;
tbia_window       757 arch/alpha/kernel/core_cia.c 	tbia_window = 1;
tbia_window       762 arch/alpha/kernel/core_cia.c 		tbia_window = 3;
tbia_window       775 arch/alpha/kernel/core_cia.c 	cia_prepare_tbia_workaround(tbia_window);