Searched refs:HPI_CTL (Results 1 – 3 of 3) sorted by relevance
270 io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, boot_cpuid); in init_io7_irqs()419 io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, cpuid); in marvel_smp_callin()
846 io->hpi_ctl = io7->csrs->HPI_CTL.csr; in marvel_find_io7_with_error()
178 io7_csr HPI_CTL; /* 0x31.3f00 */ member