Searched refs:RISCV_TIMER_REG (Results 1 – 3 of 3) sorted by relevance
96 timer_freq = vcpu_get_reg(vcpus[0], RISCV_TIMER_REG(frequency)); in test_vm_create()
611 timer_freq = vcpu_get_reg(vcpu, RISCV_TIMER_REG(frequency)); in test_vm_events_overflow()
39 #define RISCV_TIMER_REG(name) __kvm_reg_id(KVM_REG_RISCV_TIMER, 0, \ macro