1 /* SPDX-License-Identifier: GPL-2.0 */
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
);
11 static inline void intel_hfi_init(void) { }
12 static inline void intel_hfi_online(unsigned int cpu
) { }
13 static inline void intel_hfi_offline(unsigned int cpu
) { }
14 static inline void intel_hfi_process_event(__u64 pkg_therm_status_msr_val
) { }
15 #endif /* CONFIG_INTEL_HFI_THERMAL */
17 #endif /* _INTEL_HFI_H */