arch/arm64/kvm/arch_timer.c

1354

static int kvm_irq_init(struct arch_timer_kvm_info *info)

arch/arm64/kvm/arch_timer.c

1435

struct arch_timer_kvm_info *info;

drivers/clocksource/arm_arch_timer.c

1136

arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI];

drivers/clocksource/arm_arch_timer.c

1138

arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI];

drivers/clocksource/arm_arch_timer.c

901

static struct arch_timer_kvm_info arch_timer_kvm_info;

drivers/clocksource/arm_arch_timer.c

903

struct arch_timer_kvm_info *arch_timer_get_kvm_info(void)

drivers/clocksource/arm_arch_timer.c

905

return &arch_timer_kvm_info;

drivers/clocksource/arm_arch_timer.c

948

timecounter_init(&arch_timer_kvm_info.timecounter,

include/clocksource/arm_arch_timer.h

91

extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void);