Searched refs:TDH_VP_ADDCX (Results 1 – 3 of 3) sorted by relevance
21 #define TDH_VP_ADDCX 4 macro
1586 return seamcall(TDH_VP_ADDCX, &args); in tdh_vp_addcx()
2926 if (TDX_BUG_ON(err, TDH_VP_ADDCX, vcpu->kvm)) { in tdx_td_vcpu_init()