HelenOS sources

sys_sysinfo_get_value  167 kernel/generic/include/sysinfo/sysinfo.h extern sys_errno_t sys_sysinfo_get_value(uspace_addr_t, size_t, uspace_addr_t);
sys_sysinfo_get_value  128 kernel/generic/src/syscall/syscall.c 	[SYS_SYSINFO_GET_VALUE] = (syshandler_t) sys_sysinfo_get_value,
HelenOS homepage, sources at GitHub