HPI_CTL           178 arch/alpha/include/asm/core_marvel.h 	io7_csr HPI_CTL;		/* 0x31.3f00 */
HPI_CTL           846 arch/alpha/kernel/err_marvel.c 	io->hpi_ctl       = io7->csrs->HPI_CTL.csr;
HPI_CTL           271 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, boot_cpuid);
HPI_CTL           420 arch/alpha/kernel/sys_marvel.c 	io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, cpuid);