set_cntvoff       541 virt/kvm/arm/arch_timer.c 	set_cntvoff(map.direct_vtimer->cntvoff);
set_cntvoff       606 virt/kvm/arm/arch_timer.c 	set_cntvoff(0);