system_hz replaces HZ

This commit is contained in:
Ben Gras 2008-12-11 14:48:05 +00:00
parent 7d674f4b8e
commit ccf70aa989

View file

@ -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 */