]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/m2/gm2-libs-ch/RTcodummy.c
1 /* RTcodummy.c provides dummy access to thread primitives.
3 Copyright (C) 2019-2023 Free Software Foundation, Inc.
4 Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
6 This file is part of GNU Modula-2.
8 GNU Modula-2 is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 GNU Modula-2 is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 Under Section 7 of GPL version 3, you are granted additional
19 permissions described in the GCC Runtime Library Exception, version
20 3.1, as published by the Free Software Foundation.
22 You should have received a copy of the GNU General Public License and
23 a copy of the GCC Runtime Library Exception along with this program;
24 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 <http://www.gnu.org/licenses/>. */
33 RTco_wait (__attribute__ ((unused
)) int sid
)
39 RTco_signal (__attribute__ ((unused
)) int sid
)
52 RTco_initSemaphore (__attribute__ ((unused
)) int value
)
58 /* signalThread signal the semaphore associated with thread tid. */
61 RTco_signalThread (__attribute__ ((unused
)) int tid
)
66 /* waitThread wait on the semaphore associated with thread tid. */
69 RTco_waitThread (__attribute__ ((unused
)) int tid
)
75 RTco_currentThread (void)
82 RTco_initThread (__attribute__ ((unused
)) void (*proc
)(void),
83 __attribute__ ((unused
)) unsigned int stackSize
,
84 __attribute__ ((unused
)) unsigned int interruptLevel
)
91 RTco_transfer (__attribute__ ((unused
)) int *p1
, __attribute__ ((unused
)) int p2
)
97 RTco_select (__attribute__ ((unused
)) int p1
,
98 __attribute__ ((unused
)) void *p2
,
99 __attribute__ ((unused
)) void *p3
,
100 __attribute__ ((unused
)) void *p4
,
101 __attribute__ ((unused
)) void *p5
)
108 RTco_currentInterruptLevel (void)
114 /* turninterrupts returns the old interrupt level and assigns the interrupt level
118 RTco_turnInterrupts (unsigned int newLevel
)
129 _M2_RTco_finish (void)