diff --git a/include/sbi/sbi_platform.h b/include/sbi/sbi_platform.h
index 4c39418a..05e7a7ee 100644
--- a/include/sbi/sbi_platform.h
+++ b/include/sbi/sbi_platform.h
@@ -159,8 +159,8 @@ static inline bool sbi_platform_hart_disabled(struct sbi_platform *plat,
 					      u32 hartid)
 {
 	if (plat && (plat->disabled_hart_mask & (1 << hartid)))
-		return 1;
-	return 0;
+		return TRUE;
+	return FALSE;
 }
 
 /**