245 	txm_call_t *parameters,  in txm_kernel_call_registers_setup()  argument
256 	switch (parameters->num_input_args) {  in txm_kernel_call_registers_setup()
311 		    parameters->selector, parameters->num_input_args);  in txm_kernel_call_registers_setup()
317 	txm_call_t *parameters,  in txm_kernel_call_internal()  argument
333 	txm_kernel_call_registers_setup(parameters, &txm_registers, args);  in txm_kernel_call_internal()
339 	txm_enter(parameters->selector, &txm_registers);  in txm_kernel_call_internal()
344 	parameters->txm_ret = txm_ret;  in txm_kernel_call_internal()
346 	if (parameters->txm_ret.returnCode == kTXMSuccess) {  in txm_kernel_call_internal()
347 		parameters->num_return_words = shared_context_data->txmNumReturnWords;  in txm_kernel_call_internal()
348 		if (parameters->num_return_words > kTXMStackReturnWords) {  in txm_kernel_call_internal()
350 			    parameters->selector, parameters->num_return_words);  in txm_kernel_call_internal()
353 		for (uint64_t i = 0; i < parameters->num_return_words; i++) {  in txm_kernel_call_internal()
354 			parameters->return_words[i] = shared_context_data->txmReturnWords[i];  in txm_kernel_call_internal()
368 	txm_call_t *parameters, ...)  in txm_kernel_call()  argument
375 	va_start(args, parameters);  in txm_kernel_call()
378 		txm_ret = txm_kernel_call_internal(parameters, args);  in txm_kernel_call()
380 			if (parameters->selector == kTXMKernelSelectorAddFreeListPage) {  in txm_kernel_call()
391 	if (parameters->skip_logs == false) {  in txm_kernel_call()
396 	if (parameters->failure_silent != true) {  in txm_kernel_call()
397 		if (parameters->failure_code_silent != txm_ret.returnCode) {  in txm_kernel_call()
398 			txm_print_return(parameters->selector, txm_ret);  in txm_kernel_call()
416 	if (parameters->failure_fatal && (ret != KERN_SUCCESS)) {  in txm_kernel_call()
418 		    parameters->selector, txm_ret.rawValue);  in txm_kernel_call()
419 	} else if (parameters->num_return_words < parameters->num_output_args) {  in txm_kernel_call()
423 			    parameters->selector, parameters->num_return_words);  in txm_kernel_call()