Searched refs:thread_get_sigreturn_token (Results 1 – 3 of 3) sorted by relevance
63 user_addr_t thread_get_sigreturn_token(thread_t thread);311 token ^= (user64_addr_t)thread_get_sigreturn_token(thread); in thread_generate_sigreturn_token()
1536 thread_get_sigreturn_token(thread_t thread) in thread_get_sigreturn_token() function
1475 extern user_addr_t thread_get_sigreturn_token(thread_t thread);