HelenOS sources

WRITES             50 kernel/arch/abs32le/include/arch/istate.h #define WRITES(arg)
WRITES             41 kernel/generic/include/verify.h #define WRITES(ptr)    __specification(writes(ptr))
WRITES             56 kernel/generic/include/verify.h #define WRITES(ptr)
WRITES             50 uspace/lib/c/arch/abs32le/include/libarch/istate.h #define WRITES(arg)