Searched refs:tdx_vcpu_reset (Results 1 – 3 of 3) sorted by relevance
131 void tdx_vcpu_reset(struct kvm_vcpu *vcpu, bool init_event);
89 tdx_vcpu_reset(vcpu, init_event); in vt_vcpu_reset()
3101 void tdx_vcpu_reset(struct kvm_vcpu *vcpu, bool init_event) in tdx_vcpu_reset() function