kvm_arch_timer_get_input_level   95 include/kvm/arm_arch_timer.h bool kvm_arch_timer_get_input_level(int vintid);
kvm_arch_timer_get_input_level 1065 virt/kvm/arm/arch_timer.c 				    kvm_arch_timer_get_input_level);
kvm_arch_timer_get_input_level 1073 virt/kvm/arm/arch_timer.c 					    kvm_arch_timer_get_input_level);