diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/ada/rtems.adb | 14 | ||||
| -rw-r--r-- | c/src/ada/rtems.ads | 4 | ||||
| -rw-r--r-- | cpukit/ada/rtems.adb | 14 | ||||
| -rw-r--r-- | cpukit/ada/rtems.ads | 4 |
4 files changed, 36 insertions, 0 deletions
diff --git a/c/src/ada/rtems.adb b/c/src/ada/rtems.adb index 7a58956617..44cd0838a3 100644 --- a/c/src/ada/rtems.adb +++ b/c/src/ada/rtems.adb @@ -979,6 +979,20 @@ package body RTEMS is end Semaphore_Release; + procedure Semaphore_Flush ( + ID : in RTEMS.ID; + Result : out RTEMS.Status_Codes + ) is + function Semaphore_Flush_Base ( + ID : RTEMS.ID + ) return RTEMS.Status_Codes; + pragma Import (C, Semaphore_Flush_Base, "rtems_semaphore_flush"); + begin + + Result := Semaphore_Flush_Base ( ID ); + + end Semaphore_Release; + -- -- Message Queue Manager -- diff --git a/c/src/ada/rtems.ads b/c/src/ada/rtems.ads index 6c8ce3e5d4..08d8f2a894 100644 --- a/c/src/ada/rtems.ads +++ b/c/src/ada/rtems.ads @@ -1058,6 +1058,10 @@ package RTEMS is Result : out RTEMS.Status_Codes ); + procedure Semaphore_Flush ( + ID : in RTEMS.ID; + Result : out RTEMS.Status_Codes + ); -- -- Message Queue Manager diff --git a/cpukit/ada/rtems.adb b/cpukit/ada/rtems.adb index 7a58956617..44cd0838a3 100644 --- a/cpukit/ada/rtems.adb +++ b/cpukit/ada/rtems.adb @@ -979,6 +979,20 @@ package body RTEMS is end Semaphore_Release; + procedure Semaphore_Flush ( + ID : in RTEMS.ID; + Result : out RTEMS.Status_Codes + ) is + function Semaphore_Flush_Base ( + ID : RTEMS.ID + ) return RTEMS.Status_Codes; + pragma Import (C, Semaphore_Flush_Base, "rtems_semaphore_flush"); + begin + + Result := Semaphore_Flush_Base ( ID ); + + end Semaphore_Release; + -- -- Message Queue Manager -- diff --git a/cpukit/ada/rtems.ads b/cpukit/ada/rtems.ads index 6c8ce3e5d4..08d8f2a894 100644 --- a/cpukit/ada/rtems.ads +++ b/cpukit/ada/rtems.ads @@ -1058,6 +1058,10 @@ package RTEMS is Result : out RTEMS.Status_Codes ); + procedure Semaphore_Flush ( + ID : in RTEMS.ID; + Result : out RTEMS.Status_Codes + ); -- -- Message Queue Manager |