diff --git a/include/sbi_utils/sys/clint.h b/include/sbi_utils/sys/clint.h
index 5749d462..a26f1481 100644
--- a/include/sbi_utils/sys/clint.h
+++ b/include/sbi_utils/sys/clint.h
@@ -14,8 +14,6 @@
 
 void clint_ipi_send(u32 target_hart);
 
-void clint_ipi_sync(u32 target_hart);
-
 void clint_ipi_clear(u32 target_hart);
 
 int clint_warm_ipi_init(void);