Symbol: IPI_HARDCLOCK