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