#ifndef DEVICE_EXTERN_GEN_H
#define DEVICE_EXTERN_GEN_H

#ifdef __cplusplus
extern "C" {
#endif

extern const struct device DEVICE_DT_NAME_GET(DT_N); /* dts_ord_0 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_aliases); /* dts_ord_1 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_chosen); /* dts_ord_2 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_connector); /* dts_ord_3 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_pin_controller); /* dts_ord_4 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_buttons); /* dts_ord_5 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc); /* dts_ord_6 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_gpio_418c0500); /* dts_ord_7 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_buttons_S_button_0); /* dts_ord_8 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_buttons_S_button_1); /* dts_ord_9 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_buttons_S_button_2); /* dts_ord_10 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_buttons_S_button_3); /* dts_ord_11 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_cpus); /* dts_ord_12 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_cpus_S_cpu_1); /* dts_ord_13 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_cpus_S_cpu_1_S_mpu_e000ed90); /* dts_ord_14 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_leds); /* dts_ord_15 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_leds_S_led_0); /* dts_ord_16 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_leds_S_led_1); /* dts_ord_17 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_leds_S_led_2); /* dts_ord_18 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_leds_S_led_3); /* dts_ord_19 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_reserved_memory); /* dts_ord_20 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_reserved_memory_S_memory_20070000); /* dts_ord_21 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_interrupt_controller_e000e100); /* dts_ord_22 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_clock_41005000); /* dts_ord_23 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_dppic_4100f000); /* dts_ord_24 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_ecb_4100d000); /* dts_ord_25 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_egu_41014000); /* dts_ord_26 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_ficr_1ff0000); /* dts_ord_27 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_gpiote_4100a000); /* dts_ord_28 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_i2c_41013000); /* dts_ord_29 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_ipc_41012000); /* dts_ord_30 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_memory_20000000); /* dts_ord_31 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_memory_21000000); /* dts_ord_32 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_power_41005000); /* dts_ord_33 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_radio_41008000); /* dts_ord_34 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_random_41009000); /* dts_ord_35 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_rtc_41011000); /* dts_ord_36 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_rtc_41016000); /* dts_ord_37 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_gpio_418c0800); /* dts_ord_38 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_spi_41013000); /* dts_ord_39 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_temp_41010000); /* dts_ord_40 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_timer_4100c000); /* dts_ord_41 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_timer_41018000); /* dts_ord_42 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_timer_41019000); /* dts_ord_43 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_timer_e000e010); /* dts_ord_44 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_uart_41013000); /* dts_ord_45 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_uicr_1ff8000); /* dts_ord_46 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_vmc_41081000); /* dts_ord_47 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_watchdog_4100b000); /* dts_ord_48 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000); /* dts_ord_49 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000); /* dts_ord_50 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions); /* dts_ord_51 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions_S_partition_0); /* dts_ord_52 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions_S_partition_c000); /* dts_ord_53 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions_S_partition_1e000); /* dts_ord_54 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions_S_partition_30000); /* dts_ord_55 */
extern const struct device DEVICE_DT_NAME_GET(DT_N_S_soc_S_flash_controller_41080000_S_flash_1000000_S_partitions_S_partition_3a000); /* dts_ord_56 */

#ifdef __cplusplus
}
#endif

#endif /* DEVICE_EXTERN_GEN_H */
