mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
35 lines
672 B
C
35 lines
672 B
C
|
// See LICENSE file for licence details
|
||
|
|
|
||
|
|
#ifndef PLIC_DRIVER_H
|
||
|
|
#define PLIC_DRIVER_H
|
||
|
|
|
||
|
|
|
||
|
|
typedef uint32_t plic_source;
|
||
|
|
typedef uint32_t plic_priority;
|
||
|
|
typedef uint32_t plic_threshold;
|
||
|
|
|
||
|
|
|
||
|
|
void PLIC_init (
|
||
|
|
uintptr_t base_addr,
|
||
|
|
uint32_t num_sources,
|
||
|
|
uint32_t num_priorities
|
||
|
|
);
|
||
|
|
|
||
|
|
void PLIC_set_threshold (plic_threshold threshold);
|
||
|
|
|
||
|
|
void PLIC_enable_interrupt (plic_source source);
|
||
|
|
|
||
|
|
void PLIC_disable_interrupt (plic_source source);
|
||
|
|
|
||
|
|
void PLIC_set_priority (
|
||
|
|
plic_source source,
|
||
|
|
plic_priority priority);
|
||
|
|
|
||
|
|
plic_source PLIC_claim_interrupt(void);
|
||
|
|
|
||
|
|
void PLIC_complete_interrupt(plic_source source);
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
#endif
|