STV_CTL           180 arch/alpha/include/asm/core_marvel.h 	io7_csr STV_CTL;
STV_CTL           273 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->STV_CTL.csr, boot_cpuid);
STV_CTL           422 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->STV_CTL.csr, cpuid);