mirror of
https://gitee.com/Lyon1998/pikapython.git
synced 2025-01-15 17:02:53 +08:00
50 lines
1.2 KiB
C
50 lines
1.2 KiB
C
/*
|
|
* @Author: jiejie
|
|
* @Github: https://github.com/jiejieTop
|
|
* @Date: 2019-12-10 22:18:32
|
|
* @LastEditTime: 2020-10-17 14:17:55
|
|
* @Description: the code belongs to jiejie, please keep the author information
|
|
* and source code according to the license.
|
|
*/
|
|
#ifndef _PLATFORM_TIMER_H_
|
|
#define _PLATFORM_TIMER_H_
|
|
|
|
#include <stdio.h>
|
|
#include "PikaObj.h"
|
|
#ifdef __linux
|
|
#include <sys/time.h>
|
|
typedef struct platform_timer {
|
|
struct timeval time;
|
|
} platform_timer_t;
|
|
#elif PIKA_FREERTOS_ENABLE
|
|
#include "freertos/FreeRTOS.h"
|
|
#include "freertos/task.h"
|
|
typedef struct platform_timer {
|
|
uint32_t time;
|
|
} platform_timer_t;
|
|
#else
|
|
/*
|
|
You need to create the __platform_timer.h for your platform.
|
|
*/
|
|
#include "__platform_time.h"
|
|
#endif
|
|
#include <time.h>
|
|
#include <unistd.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
void platform_timer_init(platform_timer_t* timer);
|
|
void platform_timer_cutdown(platform_timer_t* timer, unsigned int timeout);
|
|
char platform_timer_is_expired(platform_timer_t* timer);
|
|
int platform_timer_remain(platform_timer_t* timer);
|
|
unsigned long platform_timer_now(void);
|
|
void platform_timer_usleep(unsigned long usec);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif
|