HelenOS sources

PRINTF             14 kernel/generic/src/lib/ubsan.c #define PRINTF(...) printf(__VA_ARGS__)
PRINTF             15 uspace/lib/c/generic/ubsan.c #define PRINTF(...) kio_printf(__VA_ARGS__)