Mercurial > ecos

annotate packages/kernel/current/tests/bin_sem3.cxx @ 3250:283b2c38b413

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix compiler warnings. [ Bugzilla 1001865 ]
author vae
date Sat, 15 Jun 2013 20:25:20 +0000
parents 74dbf4c3f2e1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
1 //==========================================================================
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
2 //
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
3 // bin_sem3.cxx
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
4 //
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
5 // Binary semaphore test 3
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
6 //
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
7 //==========================================================================
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
8 // ####ECOSGPLCOPYRIGHTBEGIN####
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
9 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
10 // This file is part of eCos, the Embedded Configurable Operating System.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
11 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
12 //
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
13 // eCos is free software; you can redistribute it and/or modify it under
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
14 // the terms of the GNU General Public License as published by the Free
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
15 // Software Foundation; either version 2 or (at your option) any later
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
16 // version.
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
17 //
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
18 // eCos is distributed in the hope that it will be useful, but WITHOUT
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
19 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
20 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
21 // for more details.
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
22 //
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
23 // You should have received a copy of the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
24 // along with eCos; if not, write to the Free Software Foundation, Inc.,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
25 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
26 //
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
27 // As a special exception, if other files instantiate templates or use
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
28 // macros or inline functions from this file, or you compile this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
29 // and link it with other works to produce a work based on this file,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
30 // this file does not by itself cause the resulting work to be covered by
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
31 // the GNU General Public License. However the source code for this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
32 // must still be made available in accordance with section (3) of the GNU
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
33 // General Public License v2.
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
34 //
2729
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
35 // This exception does not invalidate any other reasons why a work based
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
36 // on this file might be covered by the GNU General Public License.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
37 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text.
jlarmour
parents: 1062
diff changeset
38 // ####ECOSGPLCOPYRIGHTEND####
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
39 //==========================================================================
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
40 //#####DESCRIPTIONBEGIN####
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
41 //
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
42 // Author(s): David Brennan
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
43 // Contributors: David Brennan
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
44 // Date: 2003-06-06
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
45 // Description: Tests basic binary semaphore timeout functionality.
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
46 //####DESCRIPTIONEND####
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
47
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
48 #include <pkgconf/kernel.h>
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
49
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
50 #include <cyg/kernel/sched.hxx> // Cyg_Scheduler::start()
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
51 #include <cyg/kernel/thread.hxx> // Cyg_Thread
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
52 #include <cyg/kernel/thread.inl>
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
53
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
54 #include <cyg/kernel/sema.hxx>
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
55
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
56 #include <cyg/infra/testcase.h>
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
57
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
58 #include <cyg/kernel/sched.inl>
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
59
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
60 #define NTHREADS 2
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
61
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
62 #include "testaux.hxx"
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
63
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
64 static Cyg_Binary_Semaphore s0(true), s1(false), s2;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
65
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
66 static volatile cyg_ucount8 q = 0;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
67
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
68 static void entry0( CYG_ADDRWORD data )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
69 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
70 s0.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
71 CHECK( 0 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
72 s1.post();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
73 s0.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
74 CHECK( 2 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
75 CHECK( ! s0.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
76 #ifndef CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
77 CHECK( ! s0.trywait() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
78 #else // !CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
79 CHECK( ! s0.wait(10) );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
80 #endif // !CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
81 s0.post();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
82 CHECK( 3 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
83 CHECK( s0.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
84 s1.post();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
85 CHECK( ! s2.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
86 s2.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
87 CHECK( 5 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
88 CYG_TEST_PASS_FINISH("Binary Semaphore 3 OK");
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
89 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
90
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
91 static void entry1( CYG_ADDRWORD data )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
92 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
93 CHECK( s1.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
94 s1.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
95 CHECK( 1 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
96 CHECK( ! s0.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
97 s0.post();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
98 s1.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
99 CHECK( 4 == q++ );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
100 CHECK( s0.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
101 #ifndef CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
102 CHECK( s0.trywait() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
103 #else // !CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
104 CHECK( s0.wait(10) );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
105 #endif // !CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
106 CHECK( ! s0.posted() );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
107 s2.post();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
108 s0.wait();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
109 CYG_TEST_FAIL_FINISH("Not reached");
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
110 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
111
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
112 void bin_sem3_main( void )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
113 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
114 CYG_TEST_INIT();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
115
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
116 new_thread( entry0, 0);
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
117 new_thread( entry1, 1);
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
118
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
119 #ifdef CYGIMP_THREAD_PRIORITY
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
120 thread[0]->set_priority( 4 );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
121 thread[1]->set_priority( 5 ); // make sure the threads execute as intended
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
122 #endif
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
123
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
124 Cyg_Scheduler::start();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
125
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
126 CYG_TEST_FAIL_FINISH("Not reached");
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
127 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
128
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
129 externC void
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
130 cyg_start( void )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
131 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
132 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
133 cyg_hal_invoke_constructors();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
134 #endif
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
135 bin_sem3_main();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
136 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents:
diff changeset
137 // EOF bin_sem1.cxx