Searched refs:DBGMCU_IDC_DEV_ID_MASK (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/arm/plat-stm32mp1/ | ||
| H A D | platform_config.h | 205 #define DBGMCU_IDC_DEV_ID_MASK GENMASK_32(11, 0) macro |
| H A D | main.c | 175 DBGMCU_IDC_DEV_ID_MASK; in stm32mp1_dbgmcu_get_chip_dev_id() |