Searched refs:clint_ipi_handler (Results 1 – 1 of 1) sorted by relevance
78 clint_ipi_handler(void *arg) in clint_ipi_handler() function227 handler = clint_ipi_handler; in clint_attach()