fix type; fix comment

This commit is contained in:
daan 2019-09-02 10:18:34 -07:00
parent d6e35ffd83
commit 31726c6554
2 changed files with 2 additions and 2 deletions

View file

@ -822,7 +822,7 @@ static void mi_os_free_huge_reserved() {
*/
#if !(MI_INTPTR_SIZE >= 8 && (defined(_WIN32) || defined(MI_OS_USE_MMAP)))
int mi_reserve_huge_os_pages(size_t pages, size_t max_secs) {
int mi_reserve_huge_os_pages(size_t pages, double max_secs) {
return -2; // cannot allocate
}
#else