Searched refs:TDH_VP_FLUSH (Results 1 – 3 of 3) sorted by relevance
29 #define TDH_VP_FLUSH 18 macro
1762 return seamcall(TDH_VP_FLUSH, &args); in tdh_vp_rd()
387 * No need to do TDH_VP_FLUSH if the vCPU hasn't been initialized. The in tdx_flush_vp() 425 TDX_BUG_ON(arg.err, TDH_VP_FLUSH, vcpu->kvm); in tdx_flush_vp_on_cpu()