/*
 * Copyright 2015 - 2020 Broadcom
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <common/debug.h>

void tls_exit(int code)
{
	INFO("%s: 0x%x\n", __func__, code);
}