Searched refs:tdx_flush_vp (Results 1 – 1 of 1) sorted by relevance
377 static void tdx_flush_vp(void *_arg) in tdx_flush_vp() function427 smp_call_function_single(cpu, tdx_flush_vp, &arg, 1); in tdx_flush_vp_on_cpu()444 tdx_flush_vp(&arg); in tdx_disable_virtualization_cpu()