/*
 * Copyright (c) 2016 RnDity Sp. z o.o.
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _STM32F3X_SOC_REGISTERS_H_
#define _STM32F3X_SOC_REGISTERS_H_

/* include register mapping headers */
#include "flash_registers.h"
#include "gpio_registers.h"

#endif /* _STM32F3X_SOC_REGISTERS_H_ */