diff --git a/include/sbi_utils/irqchip/plic.h b/include/sbi_utils/irqchip/plic.h
index eb97123b..8d6cefad 100644
--- a/include/sbi_utils/irqchip/plic.h
+++ b/include/sbi_utils/irqchip/plic.h
@@ -18,4 +18,8 @@ int plic_warm_irqchip_init(u32 target_hart, int m_cntx_id, int s_cntx_id);
 
 int plic_cold_irqchip_init(unsigned long base, u32 num_sources, u32 hart_count);
 
+void plic_set_thresh(u32 cntxid, u32 val);
+
+void plic_set_ie(u32 cntxid, u32 word_index, u32 val);
+
 #endif
diff --git a/lib/utils/irqchip/plic.c b/lib/utils/irqchip/plic.c
index 0479186e..2cd055e6 100644
--- a/lib/utils/irqchip/plic.c
+++ b/lib/utils/irqchip/plic.c
@@ -33,14 +33,14 @@ static void plic_set_priority(u32 source, u32 val)
 	writel(val, plic_priority);
 }
 
-static void plic_set_thresh(u32 cntxid, u32 val)
+void plic_set_thresh(u32 cntxid, u32 val)
 {
 	volatile void *plic_thresh =
 		plic_base + PLIC_CONTEXT_BASE + PLIC_CONTEXT_STRIDE * cntxid;
 	writel(val, plic_thresh);
 }
 
-static void plic_set_ie(u32 cntxid, u32 word_index, u32 val)
+void plic_set_ie(u32 cntxid, u32 word_index, u32 val)
 {
 	volatile void *plic_ie =
 		plic_base + PLIC_ENABLE_BASE + PLIC_ENABLE_STRIDE * cntxid;