Searched refs:tdvmcall_set_return_val (Results 1 – 1 of 1) sorted by relevance
260 static __always_inline void tdvmcall_set_return_val(struct kvm_vcpu *vcpu, in tdvmcall_set_return_val() function1350 tdvmcall_set_return_val(vcpu, val); in tdx_complete_pio_in()1386 tdvmcall_set_return_val(vcpu, val); in tdx_emulate_io()1401 tdvmcall_set_return_val(vcpu, val); in tdx_complete_mmio_read()1428 tdvmcall_set_return_val(vcpu, val); in tdx_mmio_read()1972 tdvmcall_set_return_val(vcpu, kvm_read_edx_eax(vcpu)); in tdx_complete_emulated_msr()