X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=vswitchd%2Fsystem-stats.c;h=a3b4db44341c337cb94e2b65f83ed9726f1b4d79;hb=69feaa6f1b37d6c6787f815b92a0ab65f5d8bbb4;hp=b8f8d7e33036e0956a90cfe5c4bc1f233078c7c1;hpb=8da7ca8760cb84e8e8b443976d1b26391eab1873;p=openvswitch

diff --git a/vswitchd/system-stats.c b/vswitchd/system-stats.c
index b8f8d7e3..a3b4db44 100644
--- a/vswitchd/system-stats.c
+++ b/vswitchd/system-stats.c
@@ -95,7 +95,11 @@ get_memory_stats(struct shash *stats)
     if (!LINUX) {
         unsigned int pagesize = get_page_size();
         long int phys_pages = sysconf(_SC_PHYS_PAGES);
+#ifdef _SC_AVPHYS_PAGES
         long int avphys_pages = sysconf(_SC_AVPHYS_PAGES);
+#else
+        long int avphys_pages = 0;
+#endif
         int mem_total, mem_used;
 
         if (pagesize <= 0 || phys_pages <= 0 || avphys_pages <= 0) {