HLT_CTL           177 arch/alpha/include/asm/core_marvel.h 	io7_csr HLT_CTL;		/* 0x31.3ec0 */
HLT_CTL           270 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->HLT_CTL.csr, boot_cpuid);
HLT_CTL           419 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->HLT_CTL.csr, cpuid);