3 * Copyright 2003 Free Software Foundation, Inc.
5 * This file is part of GNU Radio
7 * GNU Radio is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 3, or (at your option)
12 * GNU Radio is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with GNU Radio; see the file COPYING. If not, write to
19 * the Free Software Foundation, Inc., 51 Franklin Street,
20 * Boston, MA 02110-1301, USA.
27 #include <gr_pagesize.h>
31 #if defined(_WIN32) && defined(HAVE_GETPAGESIZE)
32 extern "C" size_t getpagesize(void);
38 static int s_pagesize = -1;
40 if (s_pagesize == -1){
41 #if defined(HAVE_GETPAGESIZE)
42 s_pagesize = getpagesize ();
43 #elif defined (HAVE_SYSCONF)
44 s_pagesize = sysconf (_SC_PAGESIZE);
45 if (s_pagesize == -1){
46 perror ("_SC_PAGESIZE");
50 fprintf (stderr, "gr_pagesize: no info; setting pagesize = 4096\n");