amend ESP32's hal with comment
@@ -42,13 +42,16 @@ void mrbc_tick(void);
void hal_init(void);
void hal_enable_irq(void);
void hal_disable_irq(void);
-# define hal_idle_cpu() float tickUnit = 1/portTICK_PERIOD_MS;vTaskDelay(tickUnit < 1 ? 1 : tickUnit)
+ // Note: argument of vTaskDelay() should be 1+
+# define hal_idle_cpu() vTaskDelay(MRBC_TICK_UNIT / portTICK_PERIOD_MS)
#else // MRBC_NO_TIMER
# define hal_init() ((void)0)
# define hal_enable_irq() ((void)0)
# define hal_disable_irq() ((void)0)
-# define hal_idle_cpu() (vTaskDelay(1/portTICK_PERIOD_MS), mrbc_tick())
+ // Note: argument of vTaskDelay() should be 1+
+# define hal_idle_cpu() (vTaskDelay(MRBC_TICK_UNIT / portTICK_PERIOD_MS), \
+ mrbc_tick())
#endif
