← Back to branch summary

~martin-decky/helenos/rcu

~martin-decky/helenos/rcu

Viewing all changes in revision 553.

Committer: Martin Decky
Date: 2010-06-25 14:49:42 UTC
Revision ID: martin@foxtrot-20100625144942-qqe4hswyvw8jzw46

add and improve annotations

files modified:
kernel/arch/abs32le/include/interrupt.h

kernel/arch/abs32le/include/mm/page.h

kernel/generic/include/verify.h

tools/checkers/vcc.h

Show diffs side-by-side

added added

removed removed

kernel/arch/abs32le/include/interrupt.h

kernel/arch/abs32le/include/mm/page.h

kernel/generic/include/verify.h

tools/checkers/vcc.h

Older »