rename lazy to eager_commit_delay

This commit is contained in:
daan 2019-08-28 12:09:23 -07:00
parent 9af51506a6
commit d381fcd9fa
3 changed files with 7 additions and 7 deletions

View file

@ -225,16 +225,16 @@ typedef enum mi_option_e {
mi_option_verbose,
// the following options are experimental
mi_option_secure,
mi_option_lazy_commit,
mi_option_eager_commit,
mi_option_eager_region_commit,
mi_option_large_os_pages, // implies eager commit
mi_option_reserve_huge_os_pages,
mi_option_segment_cache,
mi_option_segment_reset,
mi_option_page_reset,
mi_option_cache_reset,
mi_option_reset_decommits,
mi_option_eager_commit_delay,
mi_option_segment_reset,
mi_option_os_tag,
_mi_option_last
} mi_option_t;