HelenOS sources

sys_sysinfo_get_keys_size  164 kernel/generic/include/sysinfo/sysinfo.h extern sys_errno_t sys_sysinfo_get_keys_size(uspace_addr_t, size_t, uspace_addr_t);
sys_sysinfo_get_keys_size  125 kernel/generic/src/syscall/syscall.c 	[SYS_SYSINFO_GET_KEYS_SIZE] = (syshandler_t) sys_sysinfo_get_keys_size,
HelenOS homepage, sources at GitHub