irq.h

Go to the documentation of this file.

// Copyright (C) 2013-2026 Efinix Inc. All rights reserved.
// Full license header bsp/efinix/EfxSapphireSocRV64/include/LICENSE.MD
 
#ifndef IRQ_H
#define IRQ_H

 
#include "soc.h"
#include "type.h"
#include "riscv.h"
#include "plic/plic.h"
 
#ifdef __cplusplus
extern "C" {
#endif

 
/* ========================================================================== */
/* DATA TYPES                                                                 */
/* ========================================================================== */
    typedef int (*irq_handler_t)(void);

    extern int (*interrupt_vector_table[64])(void);

    typedef enum {
        IRQ_SOFTWARE    = MIE_MSIE,  //< Machine Software Interrupt (Bit 3) 
        IRQ_TIMER       = MIE_MTIE,  //< Machine Timer Interrupt (Bit 7) 
        IRQ_EXTERNAL    = MIE_MEIE   //< Machine External Interrupt (PLIC) (Bit 11) 
    } cpu_irq_t;
 // End of IRQ_Types
 
/* ========================================================================== */
/* FUNCTION PROTOTYPES                                                        */
/* ========================================================================== */

    void irq_enable(void);

    void irq_disable(void);

    void irq_setType(cpu_irq_t enable);

    void irq_clearType(cpu_irq_t disable);

    void irq_registerExt(u32 gateway, irq_handler_t handler);

    void irq_setTrapVector(void (*trap_vector)(void)); // End of Core_Funcs
 
 
#ifdef __cplusplus
}
#endif // C_plusplus
 // End of IRQ_Funcs
 
#endif // IRQ_H