/* tipc_reg_stop - shut down & delete TIPC user registry  */
void tipc_reg_stop(void)
/* tipc_reg_stop - shut down & delete TIPC user registry  */
void tipc_reg_stop(void)
{
	int id;
	if (!users)
		return;
	for (id = 1; id <= MAX_USERID; id++) {
		if (users[id].callback)
			reg_callback(&users[id]);
	}
	kfree(users);
	users = NULL;
}