/*
 * required by ESP8266 SDK's osapi.h
 *
 * Intentionally left blank.
 */