void audit_log(struct audit_context *ctx, int gfp_mask, int type, 
void audit_log(struct audit_context *ctx, gfp_t gfp_mask, int type, 
void audit_log(struct audit_context *ctx, int gfp_mask, int type, 	       const char *fmt, ...){	struct audit_buffer *ab;	va_list args;	ab = audit_log_start(ctx, gfp_mask, type);	if (ab) {		va_start(args, fmt);		audit_log_vformat(ab, fmt, args);		va_end(args);		audit_log_end(ab);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9796fdd829da626374458e8706daedcc0e432ddd/audit.c/buggy/kernel/audit.c