[[UNIKRAFT] 3/4] lib/uklock: Provide isr-safe semaphore routines

[cristian-vijelie <cristianvijelie@xxxxxxxxx>]

This patch provides isr-safe semaphore routines, derived from uklock
library.

Signed-off-by: cristian-vijelie <cristianvijelie@xxxxxxxxx>
---
 lib/uklock/include/uk/isr/semaphore.h | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 lib/uklock/include/uk/isr/semaphore.h

diff --git a/lib/uklock/include/uk/isr/semaphore.h 
b/lib/uklock/include/uk/isr/semaphore.h
new file mode 100644
index 0000000..a0dd7b5
--- /dev/null
+++ b/lib/uklock/include/uk/isr/semaphore.h
@@ -0,0 +1,3 @@
+#include <uk/semaphore.h>
+
+#define uk_semaphore_down_try_isr(x) uk_semaphore_down_try(x)
-- 
2.25.1