Searched refs:tdx_safe_halt (Results 1 – 3 of 3) sorted by relevance
61 void tdx_safe_halt(void);72 static inline void tdx_safe_halt(void) { }; in tdx_safe_halt() function
291 void __cpuidle tdx_safe_halt(void) in tdx_safe_halt() function
936 static_call_update(x86_idle, tdx_safe_halt); in select_idle_routine()