cci_os_ipc
err = cci_os_ipc (in_launch_server, request, &reply);
cc_int32 cci_os_ipc (cc_int32 in_launch_server,