// Linux-specific?
DECL_TEMPLATE(linux, sys_sync_file_range);
+DECL_TEMPLATE(linux, sys_stime); /* maybe generic? I'm not sure */
// Linux specific (kernel modules)
DECL_TEMPLATE(linux, sys_init_module);
SET_STATUS_Failure( VKI_EBADF );
}
+PRE(sys_stime)
+{
+ PRINT("sys_stime ( %#lx )", ARG1);
+ PRE_REG_READ1(int, "stime", vki_time_t*, t);
+ PRE_MEM_READ( "stime(t)", ARG1, sizeof(vki_time_t) );
+}
+
/* ---------------------------------------------------------------------
utime wrapper
------------------------------------------------------------------ */
LINX_(__NR_umount, sys_oldumount), // 22
LINX_(__NR_setuid, sys_setuid16), // 23 ## P
LINX_(__NR_getuid, sys_getuid16), // 24 ## P
-//zz
-//zz // (__NR_stime, sys_stime), // 25 * (SVr4,SVID,X/OPEN)
+
+ LINX_(__NR_stime, sys_stime), // 25 * (SVr4,SVID,X/OPEN)
PLAXY(__NR_ptrace, sys_ptrace), // 26
GENX_(__NR_alarm, sys_alarm), // 27
//zz // (__NR_oldfstat, sys_fstat), // 28 * L -- obsolete