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_getThreshold (plic_instance_t *inst) |
| Read value from PLIC register. | |
| u32 | plic_getPriority (plic_instance_t *inst) |
| Read value from PLIC register. | |
PLIC (Set Functions) | |
Set values to the PLIC hardware registers. | |
| void | plic_setPriority (plic_instance_t *inst) |
| Set priority value to PLIC register. | |
| void | plic_setEnable (plic_instance_t *inst) |
| Set enable value to PLIC register. | |
| void | plic_setThreshold (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_getPriority | ( | plic_instance_t * | inst | ) |
| u32 plic_getThreshold | ( | plic_instance_t * | inst | ) |
| void plic_releaseExtIRQ_m | ( | u32 | gateway | ) |
| void plic_setEnable | ( | plic_instance_t * | inst | ) |
| void plic_setPriority | ( | plic_instance_t * | inst | ) |
| void plic_setThreshold | ( | plic_instance_t * | inst | ) |