Searched refs:thread_get_sigreturn_token (Results 1 – 3 of 3) sorted by relevance
61 user_addr_t thread_get_sigreturn_token(thread_t thread);400 token ^= (user64_addr_t)thread_get_sigreturn_token(thread); in machine_thread_state_convert_to_user()609 token ^= (user64_addr_t)thread_get_sigreturn_token(thread); in machine_thread_state_convert_from_user()
1549 thread_get_sigreturn_token(thread_t thread) in thread_get_sigreturn_token() function
1385 extern user_addr_t thread_get_sigreturn_token(thread_t thread);