HelenOS sources

READS              40 kernel/generic/include/verify.h #define READS(ptr)     __specification(reads(ptr))
READS              55 kernel/generic/include/verify.h #define READS(ptr)