17 lines
387 B
C
17 lines
387 B
C
#ifndef BSP_IRQ_H
|
|
#define BSP_IRQ_H
|
|
|
|
#include <stdint.h>
|
|
|
|
#define BSP_MCAUSE_MACHINE_TIMER 7u
|
|
#define BSP_MCAUSE_MACHINE_EXTERNAL 11u
|
|
|
|
uint64_t bsp_read_mcause(void);
|
|
void bsp_set_mtvec(void (*handler)(void));
|
|
void bsp_enable_machine_external_interrupts(void);
|
|
void bsp_enable_machine_timer_interrupts(void);
|
|
uint64_t bsp_irq_save(void);
|
|
void bsp_irq_restore(uint64_t state);
|
|
|
|
#endif
|