Searched refs:DBGMCU_IDC (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/plat-stm32mp1/ | ||
| H A D | platform_config.h | 204 #define DBGMCU_IDC U(0x0) macro |
| H A D | main.c | 174 id = io_read32(stm32_dbgmcu_base() + DBGMCU_IDC) & in stm32mp1_dbgmcu_get_chip_dev_id() |