HelenOS sources

kernel/generic/include/printf/verify.h
kernel/generic/include/verify.h
uspace/lib/c/include/io/verify.h
uspace/lib/posix/include/libc/io/verify.h
HelenOS homepage, sources at GitHub