timer-sr.c

 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
 9void __kvm_timer_set_cntvoff(u64 cntvoff)
10{
11	write_sysreg(cntvoff, cntvoff_el2);
12}