runtime/platform/sysconf.c

   1 size_t GC_pageSize (void) {
   2         long int pageSize;
   3
   4         pageSize = sysconf (_SC_PAGESIZE);
   5         if (pageSize < 0)
   6                 diee ("GC_pageSize error: sysconf (_SC_PAGESIZE) failed");
   7
   8         return (size_t)pageSize;
   9 }
  10
  11 uintmax_t GC_physMem (void) {
  12         size_t pageSize = GC_pageSize ();
  13         long int physPages;
  14         uintmax_t physMem;
  15
  16         physPages = sysconf (_SC_PHYS_PAGES);
  17         if (physPages < 0)
  18                 diee ("GC_physMem error: sysconf (_SC_PHYS_PAGES) failed");
  19
  20         physMem = (uintmax_t)pageSize * (uintmax_t)physPages;
  21         return physMem;
  22 }