Lines Matching refs:val
49 u64 val);
803 u64 val; in kvm_arm_timer_read() local
807 val = timer->cnt_cval - kvm_phys_timer_read() + timer->cntvoff; in kvm_arm_timer_read()
808 val &= lower_32_bits(val); in kvm_arm_timer_read()
812 val = read_timer_ctl(timer); in kvm_arm_timer_read()
816 val = timer->cnt_cval; in kvm_arm_timer_read()
820 val = kvm_phys_timer_read() - timer->cntvoff; in kvm_arm_timer_read()
827 return val; in kvm_arm_timer_read()
834 u64 val; in kvm_arm_timer_read_sysreg() local
839 val = kvm_arm_timer_read(vcpu, vcpu_get_timer(vcpu, tmr), treg); in kvm_arm_timer_read_sysreg()
844 return val; in kvm_arm_timer_read_sysreg()
850 u64 val) in kvm_arm_timer_write() argument
854 timer->cnt_cval = kvm_phys_timer_read() - timer->cntvoff + (s32)val; in kvm_arm_timer_write()
858 timer->cnt_ctl = val & ~ARCH_TIMER_CTRL_IT_STAT; in kvm_arm_timer_write()
862 timer->cnt_cval = val; in kvm_arm_timer_write()
873 u64 val) in kvm_arm_timer_write_sysreg() argument
878 kvm_arm_timer_write(vcpu, vcpu_get_timer(vcpu, tmr), treg, val); in kvm_arm_timer_write_sysreg()
1094 u64 val; in kvm_timer_init_vhe() local
1100 val = read_sysreg(cnthctl_el2); in kvm_timer_init_vhe()
1101 val |= (CNTHCTL_EL1PCEN << cnthctl_shift); in kvm_timer_init_vhe()
1102 val |= (CNTHCTL_EL1PCTEN << cnthctl_shift); in kvm_timer_init_vhe()
1103 write_sysreg(val, cnthctl_el2); in kvm_timer_init_vhe()