1 /* Read or write system information. Linux version.
2 Copyright (C) 1996, 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
21 #include <sys/sysctl.h>
24 #include <sys/syscall.h>
25 #include <bp-checks.h>
27 extern int __syscall__sysctl (struct __sysctl_args
*__unbounded args
);
30 __sysctl (int *name
, int nlen
, void *oldval
, size_t *oldlenp
,
31 void *newval
, size_t newlen
)
33 /* GKM FIXME: force __sysctl_args decl to have unbounded pointers. */
34 struct __sysctl_args args
=
43 (void) CHECK_N (name
, nlen
);
44 (void) CHECK_N (oldval
, *oldlenp
);
45 (void) CHECK_N (newval
, newlen
);
47 return INLINE_SYSCALL (_sysctl
, 1, __ptrvalue (&args
));
49 weak_alias (__sysctl
, sysctl
)