Searched refs:stm32mp1_dbgmcu_get_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() function618 return stm32mp1_dbgmcu_get_chip_dev_id(dev_id); in get_chip_dev_id()