linux/kernel/entry/kvm.c

// SPDX-License-Identifier: GPL-2.0

#include <linux/entry-kvm.h>
#include <linux/kvm_host.h>

static int xfer_to_guest_mode_work(struct kvm_vcpu *vcpu, unsigned long ti_work)
{ … }

int xfer_to_guest_mode_handle_work(struct kvm_vcpu *vcpu)
{ … }
EXPORT_SYMBOL_GPL(…);