/* Change Logs: Date Author Notes  Bernard the first version  */
static void os_clock_irq_handle(int irqno, void *param)
/* Change Logs: Date Author Notes  Bernard the first version  */
static void os_clock_irq_handle(int irqno, void *param)
{
    volatile rt_uint32_t *temp_addr = (rt_uint32_t *)(0x01C20C00 + 0x04);
    *temp_addr |= 0x01;
    rt_tick_increase();
}