Searched defs:sb1250_ipi_intr (Results 1 – 2 of 2) sorted by relevance
189 sb1250_ipi_intr(void *arg, uint32_t status, vaddr_t pc) in sb1250_ipi_intr() function