tag	line	file	source code
system	1526	drivers/sound/configure.c	if (system (cmd) != 0)
system	247	fs/hpfs/hpfs.h	unsigned system: 1;      /* dos attrib */
system	859	kernel/sched.c	unsigned long user, unsigned long system)
system	868	kernel/sched.c	kstat.cpu_system += system;
system	869	kernel/sched.c	p->stime += system;
system	909	kernel/sched.c	unsigned long ticks, unsigned long user, unsigned long system)
system	911	kernel/sched.c	do_process_times(p, user, system);
system	916	kernel/sched.c	static void update_process_times(unsigned long ticks, unsigned long system)
system	927	kernel/sched.c	update_one_process(p, ticks, ticks-system, system);
system	950	kernel/sched.c	utime = ticks-system;
system	951	kernel/sched.c	stime = system;
system	984	kernel/sched.c	unsigned long ticks, system;
system	992	kernel/sched.c	system = lost_ticks_system;
system	999	kernel/sched.c	update_process_times(ticks, system);