diff --git a/core/kernel/notif.c b/core/kernel/notif.c
index 08c609cfd28..ee6e670d2f1 100644
--- a/core/kernel/notif.c
+++ b/core/kernel/notif.c
@@ -307,7 +307,7 @@ TEE_Result notif_itr_register(struct notif_itr *notif)
 {
 	unsigned int itr_num = 0;
 	uint32_t exceptions = 0;
-	const struct notif_itr_ops *ops = NULL;
+	const __maybe_unused struct notif_itr_ops *ops = NULL;
 
 	assert(notif && is_unpaged(notif));
 	itr_num = notif->itr_num;