seq_time          400 kernel/locking/lockdep_proc.c 	seq_time(m, lt->min);
seq_time          401 kernel/locking/lockdep_proc.c 	seq_time(m, lt->max);
seq_time          402 kernel/locking/lockdep_proc.c 	seq_time(m, lt->total);
seq_time          403 kernel/locking/lockdep_proc.c 	seq_time(m, lt->nr ? div_s64(lt->total, lt->nr) : 0);