1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright 2022-2023 NXP 4 */ 5 6 #ifndef __DRIVERS_PLIC_H 7 #define __DRIVERS_PLIC_H 8 9 #include <kernel/interrupt.h> 10 #include <kernel/misc.h> 11 #include <platform_config.h> 12 13 void plic_init(paddr_t plic_base_pa); 14 void plic_hart_init(void); 15 void plic_it_handle(void); 16 void plic_dump_state(void); 17 18 #endif /*__DRIVERS_PLIC_H*/ 19