diff --git a/src/soc/intel/denverton_ns/pmc.c b/src/soc/intel/denverton_ns/pmc.c
index 258e6a4f83..d75f7f05a6 100644
--- a/src/soc/intel/denverton_ns/pmc.c
+++ b/src/soc/intel/denverton_ns/pmc.c
@@ -30,7 +30,7 @@ static void pch_set_acpi_mode(void)
 
 static void pmc_init(struct device *dev)
 {
-	printk(BIOS_DEBUG, "pch: pmc_init\n");
+	printk(BIOS_DEBUG, "pch: %s\n", __func__);
 
 	/* Get the base address */
 	acpi_base = pci_read_config16(dev, PMC_ACPI_BASE) & MASK_PMC_ACPI_BASE;