Searched refs:HPI_CTL (Results 1 – 2 of 2) sorted by relevance
297 io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, boot_cpuid); in init_io7_irqs()448 io7_redirect_irq(io7, &io7->csrs->HPI_CTL.csr, cpuid); in marvel_smp_callin()
178 io7_csr HPI_CTL; /* 0x31.3f00 */ member