/* generated by userspace-header-gen.py */
/* sysctl.c */