10 lines
158 B
C
10 lines
158 B
C
#ifndef SYSCALL_TIME_H_
|
|
#define SYSCALL_TIME_H_
|
|
|
|
#include <stdint.h>
|
|
#include <stddef.h>
|
|
|
|
int32_t SYSCALL1(sys_time, timestruct1);
|
|
|
|
#endif // SYSCALL_TIME_H_
|