Function definitions for PLIC driver.
Functions | |
| void | plic_applyConfig (plic_instance_t *inst) |
| Apply stored PLIC configuration to hardware. | |
| u32 | plic_claimExtIRQ_m () |
| Claim ID source from external IRQ. | |
| void | plic_releaseExtIRQ_m (u32 gateway) |
| Release ID source from external IRQ. | |
PLIC (Get Functions) | |
Read values from the PLIC hardware registers. | |
| u32 | plic_get_threshold (plic_instance_t *inst) |
| Read value from PLIC register. | |
| u32 | plic_get_priority (plic_instance_t *inst) |
| Read value from PLIC register. | |
PLIC (Set Functions) | |
Set values to the PLIC hardware registers. | |
| void | plic_set_priority (plic_instance_t *inst) |
| Set priority value to PLIC register. | |
| void | plic_set_enable (plic_instance_t *inst) |
| Set enable value to PLIC register. | |
| void | plic_set_threshold (plic_instance_t *inst) |
| Set threshold value to PLIC register. | |
| void plic_applyConfig | ( | plic_instance_t * | inst | ) |
#include <plic.h>
Apply stored PLIC configuration to hardware.
| inst | Pointer to PLIC instance. |
| u32 plic_claimExtIRQ_m | ( | ) |
| u32 plic_get_priority | ( | plic_instance_t * | inst | ) |
| u32 plic_get_threshold | ( | plic_instance_t * | inst | ) |
| void plic_releaseExtIRQ_m | ( | u32 | gateway | ) |
| void plic_set_enable | ( | plic_instance_t * | inst | ) |
| void plic_set_priority | ( | plic_instance_t * | inst | ) |
| void plic_set_threshold | ( | plic_instance_t * | inst | ) |