uk_init_tls: Change `uk_thread_tcb_fini` to `uk_thread_uktcb_fini`

This commit fixes a typo in which the function`uk_thread_uktcb_fini()`,
as declared in uksched's `tcb_impl.h`, was incorrectly referred to as
`uk_thread_tcb_fini()`.

Signed-off-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #26

diff --git a/__uk_init_tls.c b/__uk_init_tls.c
index 6bae322fc522164026d1f92898cc9720ef15f33a..552d2b6b9573f19d8a1b35cb2a9b3c4a243842e5 100644 (file)
--- a/__uk_init_tls.c
+++ b/__uk_init_tls.c
@@ -182,7 +182,7 @@ int uk_thread_uktcb_init(struct uk_thread *thread, void *tcb)
 /* This callback will only be called for threads that are NOT
  * created with the pthread API
  */
-void uk_thread_tcb_fini(struct uk_thread *thread, void *tcb)
+void uk_thread_uktcb_fini(struct uk_thread *thread, void *tcb)
 {
        struct pthread *td = (struct pthread *) tcb;