1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _INTEL_HFI_H
3#define _INTEL_HFI_H
4
5#if defined(CONFIG_INTEL_HFI_THERMAL)
6void __init intel_hfi_init(void);
7void intel_hfi_online(unsigned int cpu);
8void intel_hfi_offline(unsigned int cpu);
9void intel_hfi_process_event(__u64 pkg_therm_status_msr_val);
10#else
11static inline void intel_hfi_init(void) { }
12static inline void intel_hfi_online(unsigned int cpu) { }
13static inline void intel_hfi_offline(unsigned int cpu) { }
14static inline void intel_hfi_process_event(__u64 pkg_therm_status_msr_val) { }
15#endif /* CONFIG_INTEL_HFI_THERMAL */
16
17#endif /* _INTEL_HFI_H */
18