HelenOS sources

REQUIRES           42 kernel/generic/include/verify.h #define REQUIRES(...)  __specification(requires __VA_ARGS__)
REQUIRES           57 kernel/generic/include/verify.h #define REQUIRES(...)