/* tipc_core_stop - switch TIPC from SINGLE NODE to NOT RUNNING mode  */
void tipc_core_stop(void)
/* tipc_core_stop - switch TIPC from SINGLE NODE to NOT RUNNING mode  */
void tipc_core_stop(void)
{
	if (tipc_mode != TIPC_NODE_MODE)
		return;
	tipc_mode = TIPC_NOT_RUNNING;
	tipc_netlink_stop();
	tipc_handler_stop();
	tipc_cfg_stop();
	tipc_subscr_stop();
	tipc_reg_stop();
	tipc_nametbl_stop();
	tipc_ref_table_stop();
	tipc_socket_stop();
}