lib/posix-futex: Use kernel internal `uk_sys_gettid`

Use the kernel internal variant of `gettid`, `uk_sys_gettid`. Unlike
`uk_syscall_r_gettid`, this variant does not involve any syscall shim
wrapper logic, but rather simply calls the system call's logic directly.

Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Andrei Tatar <andrei@unikraft.io>
Approved-by: Andrei Tatar <andrei@unikraft.io>
GitHub-Closes: #1583

diff --git a/lib/posix-futex/futex.c b/lib/posix-futex/futex.c
index f64b679e112c65d23c733c9c5dd4843dab5880df..56b92465a43530df4bf2e0432f04177342fa0164 100644 (file)
--- a/lib/posix-futex/futex.c
+++ b/lib/posix-futex/futex.c
@@ -373,7 +373,7 @@ UK_POSIX_CLONE_HANDLER(CLONE_CHILD_CLEARTID, true, pfutex_child_cleartid, 0x0);
  */
 UK_LLSYSCALL_R_DEFINE(pid_t, set_tid_address, pid_t *, tid_ref)
 {
-       pid_t self_tid = uk_syscall_r_gettid();
+       pid_t self_tid = uk_sys_gettid();
 
        if (self_tid >= 0) {
                /* Store new reference */