112438b45SMarouene Boubakri /* SPDX-License-Identifier: BSD-2-Clause */ 212438b45SMarouene Boubakri /* 312438b45SMarouene Boubakri * Copyright 2022-2023 NXP 412438b45SMarouene Boubakri */ 512438b45SMarouene Boubakri 612438b45SMarouene Boubakri #ifndef DRIVERS_PLIC_H 712438b45SMarouene Boubakri #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 13*f33bc3efSAlvin Chang void plic_init(paddr_t plic_base_pa); 14*f33bc3efSAlvin Chang void plic_hart_init(void); 15*f33bc3efSAlvin Chang void plic_it_handle(void); 16*f33bc3efSAlvin Chang void plic_dump_state(void); 1712438b45SMarouene Boubakri 1812438b45SMarouene Boubakri #endif /*DRIVERS_PLIC_H*/ 19