Symbol: IPI_HALT