#include #include #include #include void init_irq(void *fdt) { UNUSED(fdt); csr_write(CSR_STVEC, &handle_irq); long s = 0; csr_read(CSR_SIE, s); info("CSR_SIE: %lx\n", s); } void handle_sys_irq() { } /* very simple for now */ void enable_irq() { csr_set(CSR_SSTATUS, CSR_SIE); } void disable_irq() { csr_clear(CSR_SSTATUS, CSR_SIE); }