get_timer_map     106 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map     269 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map     391 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map     531 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map     578 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map     643 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);
get_timer_map    1060 virt/kvm/arm/arch_timer.c 	get_timer_map(vcpu, &map);