/*
 * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef SGI_SOC_PLATFORM_DEF_V2_H
#define SGI_SOC_PLATFORM_DEF_V2_H

#include <sgi_base_platform_def.h>
#include <sgi_soc_css_def_v2.h>

#endif /* SGI_SOC_PLATFORM_DEF_V2_H */
