kolibrios/drivers/ddk/stdio
..
vsprintf.c