Searched refs:tdx_safe_halt (Results 1 – 3 of 3) sorted by relevance
49 void tdx_safe_halt(void);58 static inline void tdx_safe_halt(void) { }; in tdx_safe_halt() function
262 void __cpuidle tdx_safe_halt(void) in tdx_safe_halt() function
953 static_call_update(x86_idle, tdx_safe_halt); in select_idle_routine()