| /* SPDX-License-Identifier: GPL-2.0 */ |
| #ifndef _INTEL_HFI_H |
| #define _INTEL_HFI_H |
| |
| #if defined(CONFIG_INTEL_HFI_THERMAL) |
| void __init intel_hfi_init(void); |
| void intel_hfi_online(unsigned int cpu); |
| void intel_hfi_offline(unsigned int cpu); |
| void intel_hfi_process_event(__u64 pkg_therm_status_msr_val); |
| #else |
| static inline void intel_hfi_init(void) { } |
| static inline void intel_hfi_online(unsigned int cpu) { } |
| static inline void intel_hfi_offline(unsigned int cpu) { } |
| static inline void intel_hfi_process_event(__u64 pkg_therm_status_msr_val) { } |
| #endif /* CONFIG_INTEL_HFI_THERMAL */ |
| |
| #endif /* _INTEL_HFI_H */ |
