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);