/* return The IPG clock frequency value in hertz.  */
uint32_t CLOCK_GetIpgFreq(void)
/* return The IPG clock frequency value in hertz.  */
uint32_t CLOCK_GetIpgFreq(void)
{
    return CLOCK_GetAhbFreq() / (((CCM->CBCDR & CCM_CBCDR_IPG_PODF_MASK) >> CCM_CBCDR_IPG_PODF_SHIFT) + 1U);
}