Lines Matching refs:val
49 u64 val);
883 u64 val;
887 val = timer_get_cval(timer) - kvm_phys_timer_read() + timer_get_offset(timer);
888 val = lower_32_bits(val);
892 val = read_timer_ctl(timer);
896 val = timer_get_cval(timer);
900 val = kvm_phys_timer_read() - timer_get_offset(timer);
907 return val;
914 u64 val;
919 val = kvm_arm_timer_read(vcpu, vcpu_get_timer(vcpu, tmr), treg);
924 return val;
930 u64 val)
934 timer_set_cval(timer, kvm_phys_timer_read() - timer_get_offset(timer) + (s32)val);
938 timer_set_ctl(timer, val & ~ARCH_TIMER_CTRL_IT_STAT);
942 timer_set_cval(timer, val);
953 u64 val)
958 kvm_arm_timer_write(vcpu, vcpu_get_timer(vcpu, tmr), treg, val);
1174 u64 val;
1180 val = read_sysreg(cnthctl_el2);
1181 val |= (CNTHCTL_EL1PCEN << cnthctl_shift);
1182 val |= (CNTHCTL_EL1PCTEN << cnthctl_shift);
1183 write_sysreg(val, cnthctl_el2);