Searched refs:tdx_safe_halt (Results 1 – 3 of 3) sorted by relevance
66 void tdx_safe_halt(void);73 static inline void tdx_safe_halt(void) { }; in tdx_safe_halt() function
222 void __cpuidle tdx_safe_halt(void) in tdx_safe_halt() function
894 x86_idle = tdx_safe_halt; in select_idle_routine()