diff options
| author | Daan Leijen <Daan@microsoft.com> | 2019-09-10 13:26:51 -0700 |
|---|---|---|
| committer | Daan Leijen <Daan@microsoft.com> | 2019-09-10 13:26:51 -0700 |
| commit | 1909cfb3462a72ef93ae8768e96c9ba07f273389 (patch) | |
| tree | a7a4f6b92f9ff4733cd848605f5bc60dd5a8412f /docs/group__options.js | |
| parent | d278c26c0ec8fd919ad02b04b7151696942d2084 (diff) | |
refine mi_os_good_alloc_size and use it for huge pages (to ensure realloc is bounded as in #153
Diffstat (limited to 'docs/group__options.js')
0 files changed, 0 insertions, 0 deletions