HelenOS sources

sys_sysinfo_get_val_type  166 kernel/generic/include/sysinfo/sysinfo.h extern sysarg_t sys_sysinfo_get_val_type(uspace_addr_t, size_t);
sys_sysinfo_get_val_type  127 kernel/generic/src/syscall/syscall.c 	[SYS_SYSINFO_GET_VAL_TYPE] = (syshandler_t) sys_sysinfo_get_val_type,