162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (C) 2012-2015 - ARM Ltd 462306a36Sopenharmony_ci * Author: Marc Zyngier <marc.zyngier@arm.com> 562306a36Sopenharmony_ci */ 662306a36Sopenharmony_ci 762306a36Sopenharmony_ci#include <asm/kvm_hyp.h> 862306a36Sopenharmony_ci 962306a36Sopenharmony_civoid __kvm_timer_set_cntvoff(u64 cntvoff) 1062306a36Sopenharmony_ci{ 1162306a36Sopenharmony_ci write_sysreg(cntvoff, cntvoff_el2); 1262306a36Sopenharmony_ci} 13