/*
 * Copyright (c) 2016 Linaro Limited.
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _STM32F4_SOC_REGISTERS_H_
#define _STM32F4_SOC_REGISTERS_H_

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

#endif /* _STM32F4_SOC_REGISTERS_H_ */