112438b45SMarouene Boubakri /* SPDX-License-Identifier: BSD-2-Clause */ 212438b45SMarouene Boubakri /* 312438b45SMarouene Boubakri * Copyright 2022-2023 NXP 412438b45SMarouene Boubakri */ 512438b45SMarouene Boubakri 6*d50fee03SEtienne Carriere #ifndef __DRIVERS_PLIC_H 7*d50fee03SEtienne Carriere #define __DRIVERS_PLIC_H 812438b45SMarouene Boubakri 912438b45SMarouene Boubakri #include <kernel/interrupt.h> 1012438b45SMarouene Boubakri #include <kernel/misc.h> 1112438b45SMarouene Boubakri #include <platform_config.h> 1212438b45SMarouene Boubakri 13f33bc3efSAlvin Chang void plic_init(paddr_t plic_base_pa); 14f33bc3efSAlvin Chang void plic_hart_init(void); 15f33bc3efSAlvin Chang void plic_it_handle(void); 16f33bc3efSAlvin Chang void plic_dump_state(void); 1712438b45SMarouene Boubakri 18*d50fee03SEtienne Carriere #endif /*__DRIVERS_PLIC_H*/ 19