saved_tbase 306 arch/alpha/include/asm/core_marvel.h unsigned long saved_tbase[4]; saved_tbase 271 arch/alpha/kernel/core_marvel.c io7_port->saved_tbase[i] = csrs->POx_TBASE[i].csr;