Searched refs:tdvmcall_set_return_val (Results 1 – 1 of 1) sorted by relevance
247 static __always_inline void tdvmcall_set_return_val(struct kvm_vcpu *vcpu, in tdvmcall_set_return_val() function 1315 tdvmcall_set_return_val(vcpu, val); in tdx_complete_pio_in() 1351 tdvmcall_set_return_val(vcpu, val); in tdx_emulate_io() 1366 tdvmcall_set_return_val(vcpu, val); in tdx_complete_mmio_read() 1393 tdvmcall_set_return_val(vcpu, val); in tdx_mmio_read() 2031 tdvmcall_set_return_val(vcpu, kvm_read_edx_eax(vcpu)); in tdx_complete_emulated_msr()