51 				    params[0].value.b, /* server port number */  in socket_open()
52 				    params[2].value.a, /* protocol */  in socket_open()
53 				    params[0].value.a  /* ip version */);  in socket_open()
59 		params[3].value.a = tpm[3].u.value.a;  in socket_open()
80 				 params[0].value.a);  in socket_close()
115 				    params[0].value.a /* handle */);  in socket_send()
117 	tpm[2] = THREAD_PARAM_VALUE(INOUT, params[0].value.b, /* timeout */  in socket_send()
121 	params[2].value.a = tpm[2].u.value.b; /* transmitted bytes */  in socket_send()
153 				    params[0].value.a /* handle */);  in socket_recv()
155 	tpm[2] = THREAD_PARAM_VALUE(IN, params[0].value.b /* timeout */, 0, 0);  in socket_recv()
203 				    params[0].value.a /* handle */);  in socket_ioctl()
205 	tpm[2] = THREAD_PARAM_VALUE(IN, params[0].value.b /* ioctl command */,  in socket_ioctl()
257 		.attr = THREAD_PARAM_ATTR_VALUE_IN, .u.value = {  in pta_socket_close_session()