add a second param to handle_ipi