Searched refs:tdvmcall_set_return_val (Results 1 – 1 of 1) sorted by relevance
257 static __always_inline void tdvmcall_set_return_val(struct kvm_vcpu *vcpu, in tdvmcall_set_return_val() function1357 tdvmcall_set_return_val(vcpu, val); in tdx_complete_pio_in()1393 tdvmcall_set_return_val(vcpu, val); in tdx_emulate_io()1408 tdvmcall_set_return_val(vcpu, val); in tdx_complete_mmio_read()1435 tdvmcall_set_return_val(vcpu, val); in tdx_mmio_read()2069 tdvmcall_set_return_val(vcpu, kvm_read_edx_eax(vcpu)); in tdx_complete_emulated_msr()