do_sysinfo       2579 kernel/sys.c   	do_sysinfo(&val);
do_sysinfo       2609 kernel/sys.c   	do_sysinfo(&s);