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