[UNIKRAFT PATCH 8/8] lib/vfscore: Register `pipe2` to syscall_shim

[Constantin Raducanu <raducanu.costi@xxxxxxxxx>]

Registers `pipe2` system call to syscall_shim library.

Signed-off-by: Constantin Raducanu <raducanu.costi@xxxxxxxxx>
---
 lib/vfscore/Makefile.uk   | 3 ++-
 lib/vfscore/exportsyms.uk | 2 ++
 lib/vfscore/pipe.c        | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/lib/vfscore/Makefile.uk b/lib/vfscore/Makefile.uk
index 25088b8..69f612f 100644
--- a/lib/vfscore/Makefile.uk
+++ b/lib/vfscore/Makefile.uk
@@ -61,4 +61,5 @@ UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += open-3
 UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += mkdir-2
 UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += creat-2
 UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += symlink-2
-UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += pipe-1
\ No newline at end of file
+UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += pipe-1
+UK_PROVIDED_SYSCALLS-$(CONFIG_LIBVFSCORE) += pipe2-2
\ No newline at end of file
diff --git a/lib/vfscore/exportsyms.uk b/lib/vfscore/exportsyms.uk
index bb489ab..af1b199 100644
--- a/lib/vfscore/exportsyms.uk
+++ b/lib/vfscore/exportsyms.uk
@@ -187,6 +187,8 @@ pipe
 uk_syscall_e_pipe
 uk_syscall_r_pipe
 pipe2
+uk_syscall_e_pipe2
+uk_syscall_r_pipe2
 mkfifo
 futimes
 futimesat
diff --git a/lib/vfscore/pipe.c b/lib/vfscore/pipe.c
index e35862d..c340859 100644
--- a/lib/vfscore/pipe.c
+++ b/lib/vfscore/pipe.c
@@ -574,7 +574,7 @@ ERR_EXIT:
 }
 
 /* TODO find a more efficient way to implement pipe2() */
-int pipe2(int pipefd[2], int flags)
+UK_SYSCALL_R_DEFINE(int, pipe2, int*, pipefd, int, flags)
 {
        int rc;
 
-- 
2.17.1