|
@@ -348,8 +348,10 @@ static void ggml_backend_cpu_device_get_memory(ggml_backend_dev_t dev, size_t *
|
|
|
long pages = sysconf(_SC_PHYS_PAGES);
|
|
long pages = sysconf(_SC_PHYS_PAGES);
|
|
|
long page_size = sysconf(_SC_PAGE_SIZE);
|
|
long page_size = sysconf(_SC_PAGE_SIZE);
|
|
|
*total = pages * page_size;
|
|
*total = pages * page_size;
|
|
|
|
|
+
|
|
|
|
|
+ // "free" system memory is ill-defined, for practical purposes assume that all of it is free:
|
|
|
*free = *total;
|
|
*free = *total;
|
|
|
-#endif
|
|
|
|
|
|
|
+#endif // _WIN32
|
|
|
|
|
|
|
|
GGML_UNUSED(dev);
|
|
GGML_UNUSED(dev);
|
|
|
}
|
|
}
|