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 */