| /* | |
| * 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_ */ |