/* Copyright (C) 1991,1993,1995,1996,2002,2005 Free Software Foundation, Inc. This file is part of the GNU C Library. The GNU C Library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. The GNU C Library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License along with the GNU C Library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. */ #include #include #include /* Return the system page size. */ int __getpagesize () { void *kip; int min_page_bit; kip = L4_GetKernelInterface (); min_page_bit = ffs (L4_PageSizeMask (kip)); return 1 << (min_page_bit - 1); } libc_hidden_def (__getpagesize) weak_alias (__getpagesize, getpagesize)