/* * xc_ipi_handler: * * Handler of cross-call IPI. */