1*91f16700Schasinglulu /* 2*91f16700Schasinglulu * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. 3*91f16700Schasinglulu * 4*91f16700Schasinglulu * SPDX-License-Identifier: BSD-3-Clause 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu #ifndef SGI_PLAT_H 8*91f16700Schasinglulu #define SGI_PLAT_H 9*91f16700Schasinglulu 10*91f16700Schasinglulu /* BL31 platform setup common to all SGI based platforms */ 11*91f16700Schasinglulu void sgi_bl31_common_platform_setup(void); 12*91f16700Schasinglulu 13*91f16700Schasinglulu #endif /* SGI_PLAT_H */ 14