diff --git a/core/drivers/clk/clk.c b/core/drivers/clk/clk.c
index 333d91f68fc..867a8df31e3 100644
--- a/core/drivers/clk/clk.c
+++ b/core/drivers/clk/clk.c
@@ -436,7 +436,7 @@ static void __maybe_unused print_clk(struct clk *clk, int indent)
 	if (!msg)
 		snprintf(msg_end - 4, 4, "...");
 
-	IMSG("%s", msg_buf);
+	DMSG("%s", msg_buf);
 }
 
 static void print_tree(void)
@@ -448,7 +448,7 @@ static void print_tree(void)
 
 #ifdef CFG_DRIVERS_CLK_PRINT_TREE
 	if (SLIST_EMPTY(&clock_list)) {
-		IMSG("-- No registered clock");
+		DMSG("-- No registered clock");
 		return;
 	}
 #endif
@@ -482,7 +482,7 @@ static void print_tree(void)
 void clk_print_tree(void)
 {
 	if (IS_ENABLED(CFG_DRIVERS_CLK_PRINT_TREE)) {
-		IMSG("Clock tree summary (informative):");
+		DMSG("Clock tree summary (informative):");
 		print_tree();
 	}
 }
diff --git a/core/include/drivers/clk.h b/core/include/drivers/clk.h
index 340a797902a..20b7d54052a 100644
--- a/core/include/drivers/clk.h
+++ b/core/include/drivers/clk.h
@@ -199,7 +199,7 @@ TEE_Result clk_set_parent(struct clk *clk, struct clk *parent);
 TEE_Result clk_get_rates_array(struct clk *clk, size_t start_index,
 			       unsigned long *rates, size_t *nb_elts);
 
-/* Print current clock tree summary on output console (info trace level) */
+/* Print current clock tree summary to output console with debug trace level */
 #ifdef CFG_DRIVERS_CLK
 void clk_print_tree(void);
 #else
diff --git a/mk/config.mk b/mk/config.mk
index d48b40c59c1..554ff6c75ea 100644
--- a/mk/config.mk
+++ b/mk/config.mk
@@ -887,7 +887,7 @@ CFG_PREALLOC_RPC_CACHE ?= y
 # CFG_DRIVERS_CLK_FIXED add support for "fixed-clock" compatible clocks
 # CFG_DRIVERS_CLK_EARLY_PROBE makes clocks probed at early_init initcall level.
 # CFG_DRIVERS_CLK_PRINT_TREE embeds a helper function to print the clock tree
-# state on OP-TEE core console with the info trace level.
+# state on OP-TEE core console with the debug trace level.
 CFG_DRIVERS_CLK ?= n
 CFG_DRIVERS_CLK_DT ?= $(call cfg-all-enabled,CFG_DRIVERS_CLK CFG_DT)
 CFG_DRIVERS_CLK_FIXED ?= $(CFG_DRIVERS_CLK_DT)