fix #6

toppers · Jun 11, 2020 · a4811c5 · a4811c5
1 parent 0d2a191
commit a4811c5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/device/intc/intc.c b/src/device/intc/intc.c
@@ -133,7 +133,11 @@ void device_supply_clock_intc(DeviceClockType *dev_clock)
 	uint32 coreId;
 	int core_id_num = CPU_CONFIG_GET_CORE_ID_NUM();
 
+#ifndef CPUEMU_CLOCK_BUG_FIX
 	dev_clock->clock++;
+#else
+#endif /* CPUEMU_CLOCK_BUG_FIX */
+
 	for (coreId = 0; coreId < core_id_num; coreId++) {
 		if (intc_control.work[coreId].current_intno != -1) {
 			dev_clock->intclock++;