1 files changed, 61 insertions, 0 deletions
diff --git a/src/soc/intel/common/acpi.h b/src/soc/intel/common/acpi.h
index f7d50384d5..63566db6c8 100644
--- a/src/soc/intel/common/acpi.h
+++ b/src/soc/intel/common/acpi.h
@@ -29,4 +29,65 @@
  */
 int soc_fill_acpi_wake(uint32_t *pm1, uint32_t **gpe0);
 
+#if IS_ENABLED(CONFIG_SOC_INTEL_COMMON_ACPI)
+
+/*
+ * cpu_get_bus_clock returns the bus clock frequency in KHz.
+ * This is the value the clock ratio is multiplied with.
+ */
+uint32_t cpu_get_bus_clock(void);
+
+/*
+ * cpu_get_coord_type returns coordination type (SW_ANY or SW_ALL or HW_ALL)
+ * which is used to populate _PSD object.
+ */
+int cpu_get_coord_type(void);
+
+/*
+ * cpu_config_tdp_levels returns the number of TDP levels supported
+ * by this processor
+ */
+int cpu_config_tdp_levels(void);
+
+/*
+ * cpu_get_min_ratio returns the minimum frequency ratio that is supported
+ * by this processor
+ */
+uint32_t cpu_get_min_ratio(void);
+
+/*
+ * cpu_get_max_ratio returns the nominal TDP ratio if available or the
+ * maximum non turbo frequency ratio for this processor
+ */
+uint32_t cpu_get_max_ratio(void);
+
+/*
+ * cpu_get_power_max calculates CPU TDP in mW
+ */
+uint32_t cpu_get_power_max(void);
+
+/*
+ * cpu_get_max_turbo_ratio returns the maximum turbo ratio limit for the
+ * processor
+ */
+uint32_t cpu_get_max_turbo_ratio(void);
+
+/*
+ * get_cstate_map returns a table of processor specific acpi_cstate_t entries
+ * and number of entries in the table
+ */
+acpi_cstate_t *soc_get_cstate_map(int *num_entries);
+
+/*
+ * get_soc_tss_table returns a table of processor specific acpi_tstate_t entries
+ * and number of entries in the table
+ */
+acpi_tstate_t *soc_get_tss_table(int *num_entries);
+
+/*
+ * soc_get_acpi_base_address returns the acpi base address for the SOC
+ */
+uint16_t soc_get_acpi_base_address(void);
+
+#endif /* CONFIG_SOC_INTEL_COMMON_ACPI */
 #endif