Searched refs:tdx_sys_disable (Results 1 – 3 of 3) sorted by relevance
174 void tdx_sys_disable(void);209 static inline void tdx_sys_disable(void) { } in tdx_sys_disable() function
116 tdx_sys_disable(); in native_machine_crash_shutdown()
242 tdx_sys_disable(); in tdx_shutdown()2319 void tdx_sys_disable(void) in tdx_sys_disable() function