/testsuites/sptests/sp25/

• ../
• init.c
• sp25.doc
• sp25.scn
• system.h
• task1.c