add time64 symbol name redirects to public headers, under arch control

[musl] / include / sched.h

diff --git a/include/sched.h b/include/sched.h
index 7e470d3..c3a8d49 100644 (file)
--- a/include/sched.h
+++ b/include/sched.h
@@ -133,6 +133,10 @@ __CPU_op_func_S(XOR, ^)
 
 #endif
 
+#if _REDIR_TIME64
+__REDIR(sched_rr_get_interval, __sched_rr_get_interval_time64);
+#endif
+
 #ifdef __cplusplus
 }
 #endif