2 * SELinux services exported to the rest of the kernel.
10 * This program is free software; you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License version 2,
12 * as published by the Free Software Foundation.
14 #include <linux/module.h>
15 #include <linux/selinux.h>
19 bool selinux_is_enabled(void)
21 return selinux_enabled;
23 EXPORT_SYMBOL_GPL(selinux_is_enabled);