/* Performs a delay of the specified amount of milliseconds.  */
void UtilTimeDelayMs(uint16_t delay)
/* Performs a delay of the specified amount of milliseconds.  */
void UtilTimeDelayMs(uint16_t delay)
{
  (void)usleep(1000u * delay);
}