Searched refs:thread_get_sigreturn_token (Results 1 – 3 of 3) sorted by relevance
62 user_addr_t thread_get_sigreturn_token(thread_t thread);310 token ^= (user64_addr_t)thread_get_sigreturn_token(thread); in thread_generate_sigreturn_token()
1543 thread_get_sigreturn_token(thread_t thread) in thread_get_sigreturn_token() function
1484 extern user_addr_t thread_get_sigreturn_token(thread_t thread);