Searched refs:boot_set_tid_address_arg (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/libs/libsel4muslcsys/src/
H A Dvsyscall.c36 static int *boot_set_tid_address_arg; variable
87 boot_set_tid_address_arg = tid;
93 *arg = boot_set_tid_address_arg;
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c36 static int *boot_set_tid_address_arg; variable
87 boot_set_tid_address_arg = tid;
93 *arg = boot_set_tid_address_arg;

Completed in 25 milliseconds