Paparazzi UAS  v6.2_unstable
Paparazzi is a free software Unmanned Aircraft System.
sys_time_arch.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2013 AggieAir, A Remote Sensing Unmanned Aerial System for Scientific Applications
3  * Utah State University, http://aggieair.usu.edu/
4  *
5  * Michal Podhradsky (michal.podhradsky@aggiemail.usu.edu)
6  * Calvin Coopmans (c.r.coopmans@ieee.org)
7  *
8  *
9  * This file is part of paparazzi.
10  *
11  * paparazzi is free software; you can redistribute it and/or modify
12  * it under the terms of the GNU General Public License as published by
13  * the Free Software Foundation; either version 2, or (at your option)
14  * any later version.
15  *
16  * paparazzi is distributed in the hope that it will be useful,
17  * but WITHOUT ANY WARRANTY; without even the implied warranty of
18  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19  * GNU General Public License for more details.
20  *
21  * You should have received a copy of the GNU General Public License
22  * along with paparazzi; see the file COPYING. If not, write to
23  * the Free Software Foundation, 59 Temple Place - Suite 330,
24  * Boston, MA 02111-1307, USA.
25  */
33 #ifndef SYS_TIME_ARCH_H
34 #define SYS_TIME_ARCH_H
35 
36 #include "mcu_periph/sys_time.h"
37 #include <ch.h>
38 
39 extern uint32_t get_sys_time_usec(void);
40 extern uint32_t get_sys_time_msec(void);
41 extern void sys_time_usleep(uint32_t us);
42 extern void sys_time_msleep(uint16_t ms);
43 extern void sys_time_ssleep(uint8_t s);
44 
45 #endif /* SYS_TIME_ARCH_H */
uint32_t
unsigned int uint32_t
Typedef defining 32 bit unsigned int type.
Definition: vl53l1_types.h:78
uint8_t
unsigned char uint8_t
Typedef defining 8 bit unsigned char type.
Definition: vl53l1_types.h:98
sys_time_msleep
void sys_time_msleep(uint16_t ms)
Definition: sys_time_arch.c:116
sys_time_usleep
void sys_time_usleep(uint32_t us)
sys_time_usleep(uint32_t us)
Definition: sys_time_arch.c:104
s
static uint32_t s
Definition: light_scheduler.c:33
get_sys_time_usec
uint32_t get_sys_time_usec(void)
Get the time in microseconds since startup.
Definition: sys_time_arch.c:75
sys_time.h
Architecture independent timing functions.
get_sys_time_msec
uint32_t get_sys_time_msec(void)
Get the time in milliseconds since startup.
Definition: sys_time_arch.c:86
uint16_t
unsigned short uint16_t
Typedef defining 16 bit unsigned short type.
Definition: vl53l1_types.h:88
sys_time_ssleep
void sys_time_ssleep(uint8_t s)
Definition: sys_time_arch.c:121