[Minios-devel] [UNIKRAFT/PTHREAD-EMBEDDED PATCH 1/2] Add clockid_t field to pthread_condattr_t_

[Vlad-Andrei BĂDOIU <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>]

Since pthread_condattr_t is defined as pthread_condattr_t_,
we add the clockid_t field to pthread_condattr_t_. This field
is used by funcions such as pthread_condattr_getclock.

Signed-off-by: Vlad-Andrei BĂDOIU <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
---
 ...ockid_t-field-to-pthread_condattr_t_.patch | 29 +++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 
patches/0011-Add-clockid_t-field-to-pthread_condattr_t_.patch

diff --git a/patches/0011-Add-clockid_t-field-to-pthread_condattr_t_.patch 
b/patches/0011-Add-clockid_t-field-to-pthread_condattr_t_.patch
new file mode 100644
index 0000000..7052760
--- /dev/null
+++ b/patches/0011-Add-clockid_t-field-to-pthread_condattr_t_.patch
@@ -0,0 +1,29 @@
+From 6f1dff8cd9df482fa7f13a55c6e20303f0809f35 Mon Sep 17 00:00:00 2001
+From: =?UTF-8?q?Vlad-Andrei=20B=C4=82DOIU?=
+ <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
+Date: Mon, 23 Mar 2020 12:52:57 +0200
+Subject: [PATCH 1/1] Add clockid_t field to pthread_condattr_t_
+MIME-Version: 1.0
+Content-Type: text/plain; charset=UTF-8
+Content-Transfer-Encoding: 8bit
+
+Signed-off-by: Vlad-Andrei BĂDOIU <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
+---
+ implement.h | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/implement.h b/implement.h
+index 25ae4f1..ad94602 100644
+--- a/implement.h
++++ b/implement.h
+@@ -250,6 +250,7 @@ struct pthread_cond_t_
+ 
+ struct pthread_condattr_t_
+   {
++    clockid_t clock;
+     int pshared;
+   };
+ 
+-- 
+2.20.1
+
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel