diff --git a/include/sbi/sbi_types.h b/include/sbi/sbi_types.h
index ddcdea28..136cd47e 100644
--- a/include/sbi/sbi_types.h
+++ b/include/sbi/sbi_types.h
@@ -54,4 +54,6 @@ typedef unsigned long		physical_size_t;
 
 #define NULL			((void *)0)
 
+#define __noreturn		__attribute__((noreturn))
+
 #endif