88 	txm_thread_stack_t *thread_stack = NULL;  in setup_thread_stacks()  local
92 		thread_stack = &thread_stacks[i];  in setup_thread_stacks()
95 		thread_stack->thread_stack_papt = SPTMArgs->txm_thread_stacks[i];  in setup_thread_stacks()
98 		thread_stack->thread_stack_phys = (uintptr_t)kvtophys_nofail(  in setup_thread_stacks()
99 			thread_stack->thread_stack_papt);  in setup_thread_stacks()
102 		thread_stack->thread_stack_data =  in setup_thread_stacks()
103 		    (TXMThreadStack_t*)(thread_stack->thread_stack_papt + (PAGE_SIZE - 1024));  in setup_thread_stacks()
106 		SLIST_INSERT_HEAD(&thread_stacks_head, thread_stack, link);  in setup_thread_stacks()
116 	txm_thread_stack_t *thread_stack = NULL;  in acquire_thread_stack()  local
134 	thread_stack = SLIST_FIRST(&thread_stacks_head);  in acquire_thread_stack()
143 	thread_associate_txm_thread_stack(thread_stack->thread_stack_phys);  in acquire_thread_stack()
145 	return thread_stack;  in acquire_thread_stack()
150 	txm_thread_stack_t* thread_stack)  in release_thread_stack()  argument
153 	thread_disassociate_txm_thread_stack(thread_stack->thread_stack_phys);  in release_thread_stack()
159 	SLIST_INSERT_HEAD(&thread_stacks_head, thread_stack, link);  in release_thread_stack()
322 	txm_thread_stack_t *thread_stack = NULL;  in txm_kernel_call_internal()  local
327 	thread_stack = acquire_thread_stack();  in txm_kernel_call_internal()
328 	thread_stack_data = thread_stack->thread_stack_data;  in txm_kernel_call_internal()
332 	txm_registers.x0 = thread_stack->thread_stack_phys;  in txm_kernel_call_internal()
359 	release_thread_stack(thread_stack);  in txm_kernel_call_internal()