Branch data     Line data    Source code

       1                 :            : /*
       2                 :            :  * SELinux services exported to the rest of the kernel.
       3                 :            :  *
       4                 :            :  * Author: James Morris <jmorris@redhat.com>
       5                 :            :  *
       6                 :            :  * Copyright (C) 2005 Red Hat, Inc., James Morris <jmorris@redhat.com>
       7                 :            :  * Copyright (C) 2006 Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
       8                 :            :  * Copyright (C) 2006 IBM Corporation, Timothy R. Chavez <tinytim@us.ibm.com>
       9                 :            :  *
      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.
      13                 :            :  */
      14                 :            : #include <linux/module.h>
      15                 :            : #include <linux/selinux.h>
      16                 :            : 
      17                 :            : #include "security.h"
      18                 :            : 
      19                 :          0 : bool selinux_is_enabled(void)
      20                 :            : {
      21                 :          0 :         return selinux_enabled;
      22                 :            : }
      23                 :            : EXPORT_SYMBOL_GPL(selinux_is_enabled);