/* * ipi_unregister: release the IPI handler given the ID. */