POx_SG_TBIA       114 arch/alpha/include/asm/core_marvel.h 	io7_csr POx_SG_TBIA;
POx_SG_TBIA       615 arch/alpha/kernel/core_marvel.c 	csrs->POx_SG_TBIA.csr = 0;
POx_SG_TBIA       617 arch/alpha/kernel/core_marvel.c 	csrs->POx_SG_TBIA.csr;