system_hz replaces HZ

diff --git a/servers/vfs/glo.h b/servers/vfs/glo.h
index 1c7fa6a1780ef2c298a23a0fd9d0aa845c5dfb1c..f428885bdb4a068d905a5aed0739f03a30f08e67 100644 (file)
--- a/servers/vfs/glo.h
+++ b/servers/vfs/glo.h
@@ -15,6 +15,7 @@ EXTERN Dev_t root_dev;                /* device number of the root device */
 EXTERN int ROOT_FS_E;           /* kernel endpoint of the root FS proc */
 EXTERN int last_login_fs_e;     /* endpoint of the FS proc that logged in
                                    before the corresponding mount request */
+EXTERN u32_t system_hz;                /* system clock frequency. */
 
 /* The parameters of the call are kept here. */
 EXTERN message m_in;           /* the input message itself */