#include "plic.h"

volatile uint32_t *const plic_priority     = (uint32_t *)(PLIC_BASE);

volatile uint32_t *const plic_pending_0_31 = (uint32_t*)( PLIC_BASE + PLIC_PENDING_0_31 );
volatile uint32_t *const plic_enable_0_31  = (uint32_t*)( PLIC_BASE + PLIC_ENABLE_0_31 );

volatile uint32_t *const plic_threshold_0  = (uint32_t*)( PLIC_BASE + PLIC_THRESHOLD_0 );
volatile uint32_t *const plic_claim        = (uint32_t*)( PLIC_BASE + PLIC_CLAIM );
volatile uint32_t exti_isr_flag[32]        = {0};