text: /*
   * This file is part of the Micro Python project, http://micropython.org/
   *
   * The MIT License (MIT)
   *
   * Copyright (c) 2013, 2014 Damien P. George
   *
   * Permission is hereby granted, free of charge, to any person obtaining a copy
   * of this software and associated documentation files (the "Software"), to deal
   * in the Software without restriction, including without limitation the rights
   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
   * copies of the Software, and to permit persons to whom the Software is
   * furnished to do so, subject to the following conditions:
   *
   * The above copyright notice and this permission notice shall be included in
   * all copies or substantial portions of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
   * THE SOFTWARE.
   */
  
  #include <stdint.h>
  #include <stdio.h>
  
  #include STM32_HAL_H
  
  #include "py/mpstate.h"
  #include "py/nlr.h"
  #include "py/obj.h"
  #include "py/gc.h"
  #include "py/builtin.h"
  #include "lib/utils/pyexec.h"
  #include "lib/fatfs/ff.h"
  #include "lib/fatfs/diskio.h"
  #include "gccollect.h"
  #include "irq.h"
  #include "systick.h"
  #include "led.h"
  #include "pin.h"
  #include "timer.h"
  #include "extint.h"
  #include "usrsw.h"
  #include "rng.h"
  #include "rtc.h"
  #include "i2c.h"
  #include "spi.h"
  #include "uart.h"
  #include "can.h"
  #include "adc.h"
  #include "storage.h"
  #include "sdcard.h"
  #include "accel.h"
  #include "servo.h"
  #include "dac.h"
  #include "lcd.h"
  #include "usb.h"
  #include "portmodules.h"
  #include "modmachine.h"
  
  /// \function millis()
  /// Returns the number of milliseconds since the board was last reset.
  ///
  /// The result is always a micropython smallint (31-bit signed number), so
  /// after 2^30 milliseconds (about 12.4 days) this will start to return
  /// negative numbers.
  STATIC mp_obj_t pyb_millis(void) {
      // We want to "cast" the 32 bit unsigned into a small-int.  This means
      // copying the MSB down 1 bit (extending the sign down), which is
      // equivalent to just using the MP_OBJ_NEW_SMALL_INT macro.
      return MP_OBJ_NEW_SMALL_INT(HAL_GetTick());
  }
  STATIC MP_DEFINE_CONST_FUN_OBJ_0(pyb_millis_obj, pyb_millis);
  
  /// \function elapsed_millis(start)
  /// Returns the number of milliseconds which have elapsed since `start`.
  ///
  /// This function takes care of counter wrap, and always returns a positive
  /// number. This means it can be used to measure periods upto about 12.4 days.
  ///
  /// Example:
  ///     start = pyb.millis()
  ///     while pyb.elapsed_millis(start) < 1000:
  ///         # Perform some operation
  STATIC mp_obj_t pyb_elapsed_millis(mp_obj_t start) {
      uint32_t startMillis = mp_obj_get_int(start);
      uint32_t currMillis = HAL_GetTick();
      return MP_OBJ_NEW_SMALL_INT((currMillis - startMillis) & 0x3fffffff);
  }
  STATIC MP_DEFINE_CONST_FUN_OBJ_1(pyb_elapsed_millis_obj, pyb_elapsed_millis);
  
  /// \function micros()
  /// Returns the number of microseconds since the board was last reset.
  ///
  /// The result is always a micropython smallint (31-bit signed number), so
  /// after 2^30 microseconds (about 17.8 minutes) this will start to return
  /// negative numbers.
  STATIC mp_obj_t pyb_micros(void) {
      // We want to "cast" the 32 bit unsigned into a small-int.  This means
      // copying the MSB down 1 bit (extending the sign down), which is
      // equivalent to just using the MP_OBJ_NEW_SMALL_INT macro.
      return MP_OBJ_NEW_SMALL_INT(sys_tick_get_microseconds());
  }
  STATIC MP_DEFINE_CONST_FUN_OBJ_0(pyb_micros_obj, pyb_micros);
  
  /// \function elapsed_micros(start)
  /// Returns the number of microseconds which have elapsed since `start`.
  ///
  /// This function takes care of counter wrap, and always returns a positive
  /// number. This means it can be used to measure periods upto about 17.8 minutes.
  ///
  /// Example:
  ///     start = pyb.micros()
  ///     while pyb.elapsed_micros(start) < 1000:
  ///         # Perform some operation
  STATIC mp_obj_t pyb_elapsed_micros(mp_obj_t start) {
      uint32_t startMicros = mp_obj_get_int(start);
      uint32_t currMicros = sys_tick_get_microseconds();
      return MP_OBJ_NEW_SMALL_INT((currMicros - startMicros) & 0x3fffffff);
  }
  STATIC MP_DEFINE_CONST_FUN_OBJ_1(pyb_elapsed_micros_obj, pyb_elapsed_micros);
  
  MP_DECLARE_CONST_FUN_OBJ(pyb_main_obj); // defined in main.c
  
  STATIC const mp_map_elem_t pyb_module_globals_table[] = {
      { MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(MP_QSTR_pyb) },
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_bootloader), (mp_obj_t)&machine_bootloader_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_hard_reset), (mp_obj_t)&machine_reset_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_info), (mp_obj_t)&machine_info_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_unique_id), (mp_obj_t)&machine_unique_id_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_freq), (mp_obj_t)&machine_freq_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_repl_info), (mp_obj_t)&pyb_set_repl_info_obj },
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_wfi), (mp_obj_t)&pyb_wfi_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_disable_irq), (mp_obj_t)&pyb_disable_irq_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_enable_irq), (mp_obj_t)&pyb_enable_irq_obj },
      #if IRQ_ENABLE_STATS
      { MP_OBJ_NEW_QSTR(MP_QSTR_irq_stats), (mp_obj_t)&pyb_irq_stats_obj },
      #endif
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_stop), (mp_obj_t)&machine_sleep_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_standby), (mp_obj_t)&machine_deepsleep_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_main), (mp_obj_t)&pyb_main_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_repl_uart), (mp_obj_t)&mod_os_dupterm_obj },
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_usb_mode), (mp_obj_t)&pyb_usb_mode_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_hid_mouse), (mp_obj_t)&pyb_usb_hid_mouse_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_hid_keyboard), (mp_obj_t)&pyb_usb_hid_keyboard_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_USB_VCP), (mp_obj_t)&pyb_usb_vcp_type },
      { MP_OBJ_NEW_QSTR(MP_QSTR_USB_HID), (mp_obj_t)&pyb_usb_hid_type },
      // these 2 are deprecated; use USB_VCP.isconnected and USB_HID.send instead
      { MP_OBJ_NEW_QSTR(MP_QSTR_have_cdc), (mp_obj_t)&pyb_have_cdc_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_hid), (mp_obj_t)&pyb_hid_send_report_obj },
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_millis), (mp_obj_t)&pyb_millis_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_elapsed_millis), (mp_obj_t)&pyb_elapsed_millis_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_micros), (mp_obj_t)&pyb_micros_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_elapsed_micros), (mp_obj_t)&pyb_elapsed_micros_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_delay), (mp_obj_t)&time_sleep_ms_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_udelay), (mp_obj_t)&time_sleep_us_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_sync), (mp_obj_t)&mod_os_sync_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_mount), (mp_obj_t)&pyb_mount_obj },
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_Timer), (mp_obj_t)&pyb_timer_type },
  
  #if MICROPY_HW_ENABLE_RNG
      { MP_OBJ_NEW_QSTR(MP_QSTR_rng), (mp_obj_t)&pyb_rng_get_obj },
  #endif
  
  #if MICROPY_HW_ENABLE_RTC
      { MP_OBJ_NEW_QSTR(MP_QSTR_RTC), (mp_obj_t)&pyb_rtc_type },
  #endif
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_Pin), (mp_obj_t)&pin_type },
      { MP_OBJ_NEW_QSTR(MP_QSTR_ExtInt), (mp_obj_t)&extint_type },
  
  #if MICROPY_HW_ENABLE_SERVO
      { MP_OBJ_NEW_QSTR(MP_QSTR_pwm), (mp_obj_t)&pyb_pwm_set_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_servo), (mp_obj_t)&pyb_servo_set_obj },
      { MP_OBJ_NEW_QSTR(MP_QSTR_Servo), (mp_obj_t)&pyb_servo_type },
  #endif
  
  #if MICROPY_HW_HAS_SWITCH
      { MP_OBJ_NEW_QSTR(MP_QSTR_Switch), (mp_obj_t)&pyb_switch_type },
  #endif
  
  #if MICROPY_HW_HAS_SDCARD
      { MP_OBJ_NEW_QSTR(MP_QSTR_SD), (mp_obj_t)&pyb_sdcard_obj },
  #endif
  
  #if defined(MICROPY_HW_LED1)
      { MP_OBJ_NEW_QSTR(MP_QSTR_LED), (mp_obj_t)&pyb_led_type },
  #endif
      { MP_OBJ_NEW_QSTR(MP_QSTR_I2C), (mp_obj_t)&pyb_i2c_type },
      { MP_OBJ_NEW_QSTR(MP_QSTR_SPI), (mp_obj_t)&pyb_spi_type },
      { MP_OBJ_NEW_QSTR(MP_QSTR_UART), (mp_obj_t)&pyb_uart_type },
  #if MICROPY_HW_ENABLE_CAN
      { MP_OBJ_NEW_QSTR(MP_QSTR_CAN), (mp_obj_t)&pyb_can_type },
  #endif
  
      { MP_OBJ_NEW_QSTR(MP_QSTR_ADC), (mp_obj_t)&pyb_adc_type },
      { MP_OBJ_NEW_QSTR(MP_QSTR_ADCAll), (mp_obj_t)&pyb_adc_all_type },
  
  #if MICROPY_HW_ENABLE_DAC
      { MP_OBJ_NEW_QSTR(MP_QSTR_DAC), (mp_obj_t)&pyb_dac_type },
  #endif
  
  #if MICROPY_HW_HAS_MMA7660
      { MP_OBJ_NEW_QSTR(MP_QSTR_Accel), (mp_obj_t)&pyb_accel_type },
  #endif
  
  #if MICROPY_HW_HAS_LCD
      { MP_OBJ_NEW_QSTR(MP_QSTR_LCD), (mp_obj_t)&pyb_lcd_type },
  #endif
  };
  
  STATIC MP_DEFINE_CONST_DICT(pyb_module_globals, pyb_module_globals_table);
  
  const mp_obj_module_t pyb_module = {
      .base = { &mp_type_module },
      .name = MP_QSTR_pyb,
      .globals = (mp_obj_dict_t*)&pyb_module_globals,
  };
  