Searched refs:tdx_cpu_flush_cache_for_kexec (Results 1 – 3 of 3) sorted by relevance
234 void tdx_cpu_flush_cache_for_kexec(void);236 static inline void tdx_cpu_flush_cache_for_kexec(void) { } in tdx_cpu_flush_cache_for_kexec() function
1873 void tdx_cpu_flush_cache_for_kexec(void) in tdx_cpu_flush_cache_for_kexec() function1888 EXPORT_SYMBOL_FOR_KVM(tdx_cpu_flush_cache_for_kexec);
456 tdx_cpu_flush_cache_for_kexec(); in tdx_disable_virtualization_cpu()