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)
6 void __init intel_hfi_init(void);
7 void intel_hfi_online(unsigned int cpu);
8 void intel_hfi_offline(unsigned int cpu);
9 void intel_hfi_process_event(__u64 pkg_therm_status_msr_val);
10 #else
intel_hfi_init(void)11 static inline void intel_hfi_init(void) { }
intel_hfi_online(unsigned int cpu)12 static inline void intel_hfi_online(unsigned int cpu) { }
intel_hfi_offline(unsigned int cpu)13 static inline void intel_hfi_offline(unsigned int cpu) { }
intel_hfi_process_event(__u64 pkg_therm_status_msr_val)14 static 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