Searched refs:tdvmcall_set_return_val (Results 1 – 1 of 1) sorted by relevance
254 static __always_inline void tdvmcall_set_return_val(struct kvm_vcpu *vcpu, in tdvmcall_set_return_code() 1377 tdvmcall_set_return_val(vcpu, val); in tdx_emulate_io() 1413 tdvmcall_set_return_val(vcpu, val); in tdx_mmio_write() 1428 tdvmcall_set_return_val(vcpu, val); in tdx_mmio_read() 1455 tdvmcall_set_return_val(vcpu, val); in tdx_emulate_mmio() 2086 tdvmcall_set_return_val(vcpu, kvm_read_edx_eax(vcpu)); in tdx_handle_exit() 257 static __always_inline void tdvmcall_set_return_val(struct kvm_vcpu *vcpu, tdvmcall_set_return_val() function