audit_log(NULL, "initialized"); 
audit_log(NULL, AUDIT_KERNEL, "initialized"); 
static int __init audit_init(void){	printk(KERN_INFO "audit: initializing netlink socket (%s)\n",	       audit_default ? "enabled" : "disabled");	audit_sock = netlink_kernel_create(NETLINK_AUDIT, audit_receive);	if (!audit_sock)		audit_panic("cannot initialize netlink socket");	audit_initialized = 1;	audit_enabled = audit_default;	audit_log(NULL, "initialized");	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c04049939f88b29e235d2da217bce6e8ead44f32/audit.c/buggy/kernel/audit.c