Searched refs:cntvoff_high (Results 1 – 1 of 1) sorted by relevance
24 void __hyp_text __kvm_timer_set_cntvoff(u32 cntvoff_low, u32 cntvoff_high) in __kvm_timer_set_cntvoff() argument26 u64 cntvoff = (u64)cntvoff_high << 32 | cntvoff_low; in __kvm_timer_set_cntvoff()