HelenOS sources

sys_sysinfo_get_data_size  168 kernel/generic/include/sysinfo/sysinfo.h extern sys_errno_t sys_sysinfo_get_data_size(uspace_addr_t, size_t, uspace_addr_t);
sys_sysinfo_get_data_size  129 kernel/generic/src/syscall/syscall.c 	[SYS_SYSINFO_GET_DATA_SIZE] = (syshandler_t) sys_sysinfo_get_data_size,
HelenOS homepage, sources at GitHub