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;