blob: a5fbded3ca9d5084cbef599cbd9ada29098acbe7 [file] [log] [blame]
Vijayenthiran Subramaniam2b4ad8d2019-09-23 19:32:32 +05301/*
2 * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef SGI_PLAT_H
8#define SGI_PLAT_H
9
10/* BL31 platform setup common to all SGI based platforms */
11void sgi_bl31_common_platform_setup(void);
12
13#endif /* SGI_PLAT_H */