#include <u.h>
#include <libc.h>
#include "../syscall/syscall.h"

long
time(long *tp)
{
	return linuxtime(tp);
}