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