HelenOS sources

print_double_generic 1234 common/printf/printf_core.c 		return print_double_generic(g, precision, width, flags, ps);
print_double_generic 1234 kernel/generic/common/printf/printf_core.c 		return print_double_generic(g, precision, width, flags, ps);
print_double_generic 1234 uspace/lib/c/common/printf/printf_core.c 		return print_double_generic(g, precision, width, flags, ps);