Searched refs:tdx_cleanup (Results 1 – 3 of 3) sorted by relevance
13 void tdx_cleanup(void);191 static inline void tdx_cleanup(void) {} in tdx_cleanup() function
1032 tdx_cleanup(); in vt_exit()1077 tdx_cleanup(); in vt_init()
3489 void tdx_cleanup(void) in tdx_cleanup() function