1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3  * Copyright (C) 2012-2015 - ARM Ltd
4  * Author: Marc Zyngier <marc.zyngier@arm.com>
5  */
6 
7 #include <asm/kvm_hyp.h>
8 
__kvm_timer_set_cntvoff(u64 cntvoff)9 void __kvm_timer_set_cntvoff(u64 cntvoff)
10 {
11 	write_sysreg(cntvoff, cntvoff_el2);
12 }
13