Karg
v0.2.0
The kernel of CargOS
|
#include <types.h>
Go to the source code of this file.
Functions | |
void | plic_enable_irq (u32 irq) |
u32 | plic_claim (void) |
void | plic_complete (u32 irq) |
u32 plic_claim | ( | void | ) |
void plic_complete | ( | u32 | irq | ) |
void plic_enable_irq | ( | u32 | irq | ) |