arch/arm64/kvm/arch_timer.c

1422

"kvm guest vtimer", kvm_get_running_vcpus());

arch/arm64/kvm/arch_timer.c

1431

kvm_get_running_vcpus());

arch/arm64/kvm/arch_timer.c

1446

"kvm guest ptimer", kvm_get_running_vcpus());

arch/arm64/kvm/arch_timer.c

1455

kvm_get_running_vcpus());

arch/arm64/kvm/arch_timer.c

1475

free_percpu_irq(host_ptimer_irq, kvm_get_running_vcpus());

arch/arm64/kvm/arch_timer.c

1477

free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());

arch/arm64/kvm/vgic/vgic-init.c

745

"vgic", kvm_get_running_vcpus());

include/linux/kvm_host.h

2399

struct kvm_vcpu * __percpu *kvm_get_running_vcpus(void);