11cb19cabSRicardo Neri /* SPDX-License-Identifier: GPL-2.0 */
21cb19cabSRicardo Neri #ifndef _INTEL_HFI_H
31cb19cabSRicardo Neri #define _INTEL_HFI_H
41cb19cabSRicardo Neri 
51cb19cabSRicardo Neri #if defined(CONFIG_INTEL_HFI_THERMAL)
61cb19cabSRicardo Neri void __init intel_hfi_init(void);
72d74e631SRicardo Neri void intel_hfi_online(unsigned int cpu);
82d74e631SRicardo Neri void intel_hfi_offline(unsigned int cpu);
9*ab09b074SRicardo Neri void intel_hfi_process_event(__u64 pkg_therm_status_msr_val);
101cb19cabSRicardo Neri #else
intel_hfi_init(void)111cb19cabSRicardo Neri static inline void intel_hfi_init(void) { }
intel_hfi_online(unsigned int cpu)122d74e631SRicardo Neri static inline void intel_hfi_online(unsigned int cpu) { }
intel_hfi_offline(unsigned int cpu)132d74e631SRicardo Neri static inline void intel_hfi_offline(unsigned int cpu) { }
intel_hfi_process_event(__u64 pkg_therm_status_msr_val)14*ab09b074SRicardo Neri static inline void intel_hfi_process_event(__u64 pkg_therm_status_msr_val) { }
151cb19cabSRicardo Neri #endif /* CONFIG_INTEL_HFI_THERMAL */
161cb19cabSRicardo Neri 
171cb19cabSRicardo Neri #endif /* _INTEL_HFI_H */
18