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);