mirror of https://github.com/ArduPilot/ardupilot
59 lines
1.2 KiB
C
59 lines
1.2 KiB
C
#include "stm32f4xx.h"
|
|
#include <reent.h>
|
|
#include <stdbool.h>
|
|
#include <errno.h>
|
|
#include <stdlib.h>
|
|
#include <sys/types.h>
|
|
#include <sys/stat.h>
|
|
#include <hal_types.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
int _kill(int pid, int sig);
|
|
|
|
void _exit(int status);
|
|
int _getpid(void);
|
|
|
|
static inline caddr_t get_stack_top(void)
|
|
{
|
|
// return (char*) __get_MSP(); -- let use current stack
|
|
uint32_t sp;
|
|
asm volatile ("mov %0, sp\n\t" : "=rm" (sp) );
|
|
return (caddr_t)sp;
|
|
}
|
|
|
|
caddr_t _sbrk(int nbytes);
|
|
caddr_t sbrk_ccm(int nbytes);
|
|
|
|
int _open(const char *path, int flags, ...);
|
|
int _close(int fd);
|
|
int _fstat(int fd, struct stat *st);
|
|
int _isatty(int fd);
|
|
int isatty(int fd);
|
|
int _lseek(int fd, off_t pos, int whence);
|
|
unsigned char getch(void);
|
|
int _read(int fd, char *buf, size_t cnt);
|
|
void putch(unsigned char c);
|
|
|
|
void cgets(char *s, int bufsize);
|
|
int _write(int fd, const char *buf, size_t cnt);
|
|
//char *fgets(char *s, int bufsize, void *f);
|
|
void clock_gettime(uint32_t a1, void *a2);
|
|
|
|
|
|
#pragma pack(push, 1)
|
|
union udid {
|
|
uint32_t serial[3];
|
|
uint8_t data[12];
|
|
};
|
|
#pragma pack(pop)
|
|
|
|
void get_board_serial(uint8_t *serialid);
|
|
int val_read(void *dest, volatile const void *src, int bytes);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|