Searched refs:vcpu_get_timer (Results 1 – 2 of 2) sorted by relevance

/linux/include/kvm/
A D	arm_arch_timer.h	91 #define vcpu_get_timer(v,t) (&vcpu_timer(v)->timers[(t)]) macro
/linux/arch/arm64/kvm/
A D	arch_timer.c	920 val = kvm_arm_timer_read(vcpu, vcpu_get_timer(vcpu, tmr), treg); in kvm_arm_timer_read_sysreg() 959 kvm_arm_timer_write(vcpu, vcpu_get_timer(vcpu, tmr), treg, val); in kvm_arm_timer_write_sysreg()

Completed in 5 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023