/* Reports the name of the source file and the source line number where the HAL_ASSERT error has occurred.  */
__WEAK void HAL_AssertFailed(const char *file, uint32_t line)
/* Reports the name of the source file and the source line number where the HAL_ASSERT error has occurred.  */
__WEAK void HAL_AssertFailed(const char *file, uint32_t line)
{
    HAL_DBG_ERR("assert failed at %s %lu\n", file, line);
    while (1) {
        ;
    }
}