/*
 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#include <autoconf.h>
#include <sel4camkes/gen_config.h>
#include <errno.h>
#include <stdio.h>
#include <stdint.h>
#include <stdarg.h>
#include <bits/errno.h>
#include <camkes/tls.h>
#include <sel4utils/arch/util.h>
#include <utils/util.h>

long camkes_sys_set_tid_address(va_list ap UNUSED)
{
    /* We ignore the input argument (an address to replace the current value of `clear_child_tid`,
     * but `set_tid_address` is documented as always succeeding, so we pretend we saved it.
     */
    return (long)camkes_get_tls()->thread_index;
}