1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2022, Linaro Limited 4 */ 5 6 #ifndef __DRIVERS_HFIC_H 7 #define __DRIVERS_HFIC_H 8 #include <kernel/interrupt.h> 9 10 struct hfic_data { 11 struct itr_chip chip; 12 }; 13 14 void hfic_init(struct hfic_data *hd); 15 void hfic_it_handle(struct hfic_data *hd); 16 17 #endif /*__DRIVERS_HFIC_H*/ 18