Searched refs:cntp_cval_el0 (Results 1 – 4 of 4) sorted by relevance
63 uint64_t cntp_cval_el0; member
1783 write_el1_ctx_arch_timer(ctx, cntp_cval_el0, read_cntp_cval_el0()); in el1_sysregs_context_save()1892 write_cntp_cval_el0(read_el1_ctx_arch_timer(ctx, cntp_cval_el0)); in el1_sysregs_context_restore()
534 DEFINE_SYSREG_RW_FUNCS(cntp_cval_el0)
1317 cntp_cval_el0 = 0x0000000000000000