tag	line	file	source code
system	1532	drivers/sound/configure.c	if (system (cmd) != 0)
system	247	fs/hpfs/hpfs.h	unsigned system: 1;      /* dos attrib */
system	861	kernel/sched.c	unsigned long user, unsigned long system)
system	870	kernel/sched.c	kstat.cpu_system += system;
system	871	kernel/sched.c	p->stime += system;
system	911	kernel/sched.c	unsigned long ticks, unsigned long user, unsigned long system)
system	913	kernel/sched.c	do_process_times(p, user, system);
system	918	kernel/sched.c	static void update_process_times(unsigned long ticks, unsigned long system)
system	929	kernel/sched.c	update_one_process(p, ticks, ticks-system, system);
system	953	kernel/sched.c	utime = ticks-system;
system	954	kernel/sched.c	stime = system;
system	987	kernel/sched.c	unsigned long ticks, system;
system	995	kernel/sched.c	system = lost_ticks_system;
system	1002	kernel/sched.c	update_process_times(ticks, system);