请用KEIL5写出一个倒计时函数

好的，以下是一个基于KEIL5的倒计时函数示例：

#include <stdio.h>
#include <stdint.h>
#include <stdbool.h>
#include <stdlib.h>
#include "stm32f4xx.h"

#define TIMER_TICK_MS   1

volatile bool g_timer_tick_flag = false;
volatile uint32_t g_timer_count = 0;

void SysTick_Handler(void)
{
    g_timer_count++;
    g_timer_tick_flag = true;
}

void delay_ms(uint32_t ms)
{
    uint32_t start_time = g_timer_count;
    while ((g_timer_count - start_time) < ms);
}

void countdown(uint32_t seconds)
{
    uint32_t remaining_time = seconds;
    while (remaining_time > 0) {
        printf("Remaining time: %lu seconds\n", remaining_time);
        delay_ms(1000);
        remaining_time--;
    }
    printf("Countdown finished!\n");
}

int main(void)
{
    SystemInit();
    SysTick_Config(SystemCoreClock / 1000);

    countdown(60);

    while (1) {
        // do nothing
    }
}

在这个示例中，我们使用了KEIL5开发环境，以及STM32F4单片机来实现倒计时功能。我们使用了SysTick定时器来实现定时中断，并在中断服务函数中累加计数器和设置标志位。

在倒计时函数`countdown()`中，我们使用了`delay_ms()`函数来实现延时功能，然后每隔一秒钟打印剩余时间，最后倒计时结束后输出提示信息。