Searched refs:chip_dev_id (Results 1 – 2 of 2) sorted by relevance
18 TEE_Result stm32mp1_dbgmcu_get_chip_dev_id(uint32_t *chip_dev_id);
167 TEE_Result stm32mp1_dbgmcu_get_chip_dev_id(uint32_t *chip_dev_id) in stm32mp1_dbgmcu_get_chip_dev_id() argument171 assert(chip_dev_id); in stm32mp1_dbgmcu_get_chip_dev_id()177 *chip_dev_id = id; in stm32mp1_dbgmcu_get_chip_dev_id()