Searched refs:arch_timer_kvm_info (Results 1 – 5 of 5) sorted by relevance
64 struct arch_timer_kvm_info { struct88 extern struct arch_timer_kvm_info *arch_timer_get_kvm_info(void); argument
1053 static struct arch_timer_kvm_info arch_timer_kvm_info; variable1055 struct arch_timer_kvm_info *arch_timer_get_kvm_info(void) in arch_timer_get_kvm_info()1057 return &arch_timer_kvm_info; in arch_timer_get_kvm_info()1098 timecounter_init(&arch_timer_kvm_info.timecounter, in arch_counter_register()1345 arch_timer_kvm_info.virtual_irq = arch_timer_ppi[ARCH_TIMER_VIRT_PPI]; in arch_timer_populate_kvm_info()1347 arch_timer_kvm_info.physical_irq = arch_timer_ppi[ARCH_TIMER_PHYS_NONSECURE_PPI]; in arch_timer_populate_kvm_info()
1058 static int kvm_irq_init(struct arch_timer_kvm_info *info) in kvm_irq_init()1108 struct arch_timer_kvm_info *info; in kvm_timer_hyp_init()
163445 ffff800012157d80 b arch_timer_kvm_info
Completed in 319 milliseconds