[PATCH] Fix bug allowing unprivileged users to modify system time

[Manolo de Medici]

This change of API should cause no breakage in glibc compilation
since that already uses the host privileged port.
---
 include/mach/mach_host.defs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/mach/mach_host.defs b/include/mach/mach_host.defs
index 501ca0f6..3b9b0c58 100644
--- a/include/mach/mach_host.defs
+++ b/include/mach/mach_host.defs
@@ -367,7 +367,7 @@ routine     host_get_time64(
  *     Only available to privileged users.
  */
 routine        host_set_time64(
-               host            : host_t;
+               host_priv       : host_priv_t;
                new_time        : time_value64_t);
 
 /*
-- 
2.53.0