Files

14 lines
278 B
C

#include <stdint.h>
#include <stddef.h>
#include "syscall/syscall.h"
#include "syscall/time.h"
#include "sysdefs/time.h"
#include "time/time.h"
#include "errors.h"
int32_t SYSCALL1(sys_time, timestruct1) {
Time *time = (Time *)timestruct1;
time_get(time);
return E_OK;
}