xref: /optee_os/core/include/drivers/hfic.h (revision 67e55c51c9149ea549664b3981ad9032dcf4ce7f)
1a0602052SJens Wiklander /* SPDX-License-Identifier: BSD-2-Clause */
2a0602052SJens Wiklander /*
3a0602052SJens Wiklander  * Copyright (c) 2022, Linaro Limited
4a0602052SJens Wiklander  */
5a0602052SJens Wiklander 
6a0602052SJens Wiklander #ifndef __DRIVERS_HFIC_H
7a0602052SJens Wiklander #define __DRIVERS_HFIC_H
8a0602052SJens Wiklander 
9*67e55c51SEtienne Carriere void hfic_init(void);
10a0602052SJens Wiklander 
11a0602052SJens Wiklander #endif /*__DRIVERS_HFIC_H*/
12