Searched refs:CNTP_CVAL_EL0 (Results 1 – 3 of 3) sorted by relevance
52 val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0); in __activate_traps()112 __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0) = val; in __deactivate_traps()
93 return __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0); in timer_get_cval()150 __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0) = cval; in timer_set_cval()
395 CNTP_CVAL_EL0, enumerator