arch_timer_kvm_info  953 drivers/clocksource/arm_arch_timer.c static struct arch_timer_kvm_info arch_timer_kvm_info;
arch_timer_kvm_info  955 drivers/clocksource/arm_arch_timer.c struct arch_timer_kvm_info *arch_timer_get_kvm_info(void)
arch_timer_kvm_info  957 drivers/clocksource/arm_arch_timer.c 	return &arch_timer_kvm_info;
arch_timer_kvm_info  993 drivers/clocksource/arm_arch_timer.c 	timecounter_init(&arch_timer_kvm_info.timecounter,
arch_timer_kvm_info 1241 drivers/clocksource/arm_arch_timer.c 	arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];
arch_timer_kvm_info 1243 drivers/clocksource/arm_arch_timer.c 		arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];
arch_timer_kvm_info   87 include/clocksource/arm_arch_timer.h extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);
arch_timer_kvm_info  898 virt/kvm/arm/arch_timer.c 	struct arch_timer_kvm_info *info;