From: James Morris <jmorris@redhat.com>
The avc_init function is only called during kernel init, so it can be
marked with __init.
*
* Initialize the access vector cache.
*/
-void avc_init(void)
+void __init avc_init(void)
{
struct avc_node *new;
int i;
#include <linux/kernel.h>
#include <linux/kdev_t.h>
#include <linux/spinlock.h>
+#include <linux/init.h>
#include <asm/system.h>
#include "flask.h"
#include "av_permissions.h"
* AVC operations
*/
-void avc_init(void);
+void __init avc_init(void);
int avc_lookup(u32 ssid, u32 tsid, u16 tclass,
u32 requested, struct avc_entry_ref *aeref);