struct timespec *t, int *serial) 
struct timespec *t, unsigned int *serial) 
void audit_get_stamp(struct audit_context *ctx,		     struct timespec *t, int *serial){	if (ctx) {		t->tv_sec  = ctx->ctime.tv_sec;		t->tv_nsec = ctx->ctime.tv_nsec;		*serial    = ctx->serial;		ctx->auditable = 1;	} else {		*t      = CURRENT_TIME;		*serial = 0;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d812ddbb89e323d054a7d073466225966c8350c8/auditsc.c/buggy/kernel/auditsc.c