Symbol: register_ipi_completion