source: mainline/kernel/generic/include/verify.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @09a0bd4a   16 years martin initial properties annotation and verification support (does not do … lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Note: See TracRevisionLog for help on using the revision log.