Searched refs:read_timer_ctl (Results 1 – 1 of 1) sorted by relevance
686 static u64 read_timer_ctl(struct arch_timer_context *timer) in read_timer_ctl() function707 return read_timer_ctl(vtimer); in kvm_arm_timer_get_reg()713 return read_timer_ctl(ptimer); in kvm_arm_timer_get_reg()