KVM: Use pointer to vcpu instead of vcpu_id in timer code.

[linux-block.git] / virt / kvm / Kconfig

# KVM common configuration items and defaults

config HAVE_KVM
       bool

config HAVE_KVM_IRQCHIP
       bool

config HAVE_KVM_EVENTFD
       bool
       select EVENTFD