[[UNIKRAFT] 4/4] lib/ukmpi: Provide isr-safe routines

[cristian-vijelie <cristianvijelie@xxxxxxxxx>]

This patch provides isr-safe mbox routines, derived from ukmpi
library.

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

diff --git a/lib/ukmpi/include/uk/isr/mbox.h b/lib/ukmpi/include/uk/isr/mbox.h
new file mode 100644
index 0000000..78e738c
--- /dev/null
+++ b/lib/ukmpi/include/uk/isr/mbox.h
@@ -0,0 +1,8 @@
+#include <uk/mbox.h>
+
+#if CONFIG_LIBUKMPI_MBOX
+
+int uk_mbox_post_try_isr(struct uk_mbox *m, void *msg);
+int uk_mbox_recv_try_isr(struct uk_mbox *m, void **msg);
+
+#endif /* CONFIG_LIBUKMPI_MBOX */
-- 
2.25.1