/* param base SRC peripheral base address. param coreName The name of the reset core to be released.  */
void SRC_ReleaseCoreReset(SRC_Type *base, src_core_name_t coreName)
/* param base SRC peripheral base address. param coreName The name of the reset core to be released.  */
void SRC_ReleaseCoreReset(SRC_Type *base, src_core_name_t coreName)
{
    uint32_t coreMaskArray[] = {SRC_SCR_BT_RELEASE_M7_MASK, SRC_SCR_BT_RELEASE_M4_MASK};
    uint32_t regValue;
    regValue = base->SCR;
    if ((regValue & coreMaskArray[((uint32_t)coreName) - 1UL]) == 0UL)
    {
        base->SCR |= coreMaskArray[((uint32_t)coreName) - 1UL];
    }
}