Platform-Level interrupt controller driver. More...
Platform-Level interrupt controller driver.
Definition in file plic.h.
Go to the source code of this file.
typedef void(* | plic_isr_cb_t) (int irq) |
PLIC callback declaration. | |
void | plic_init (void) |
Initialize the Platform-level interrupt controller. | |
void | plic_disable_interrupt (unsigned irq) |
Disable an interrupt on the PLIC. | |
void | plic_enable_interrupt (unsigned irq) |
Enable an interrupt on the PLIC. | |
void | plic_set_priority (unsigned irq, unsigned priority) |
Set an interrupt priority. | |
void | plic_set_isr_cb (unsigned irq, plic_isr_cb_t cb) |
Set the interrupt callback. | |
void | plic_isr_handler (void) |
External ISR callback. | |
typedef void(* plic_isr_cb_t) (int irq) |
void plic_disable_interrupt | ( | unsigned | irq | ) |
Disable an interrupt on the PLIC.
irq | Interrupt number |
void plic_enable_interrupt | ( | unsigned | irq | ) |
Enable an interrupt on the PLIC.
irq | Interrupt number |
void plic_isr_handler | ( | void | ) |
External ISR callback.
Interrupt handler for the PLIC
Must be called from the trap handler when an interrupt from the PLIC is pending
void plic_set_isr_cb | ( | unsigned | irq, |
plic_isr_cb_t | cb | ||
) |
Set the interrupt callback.
irq | Interrupt number |
cb | Callback to call on interrupt |
void plic_set_priority | ( | unsigned | irq, |
unsigned | priority | ||
) |
Set an interrupt priority.
irq | Interrupt number |
priority | Priority |