Merge pull request #751 from wenchengji159357/dev

Dev
This commit is contained in:
johnjiang 2023-04-07 12:35:56 +08:00 committed by GitHub
commit 30907c8c55
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -185,8 +185,9 @@ init_param1(void)
* Arrange for ticks to wrap 10 minutes after boot to help catch
* sign problems sooner.
*/
#ifndef FSTACK
ticks = INT_MAX - (hz * 10 * 60);
#endif
vn_lock_pair_pause_max = hz / 100;
if (vn_lock_pair_pause_max == 0)
vn_lock_pair_pause_max = 1;