Searched refs:cntp_ctl_el0 (Results 1 – 7 of 7) sorted by relevance
62 uint64_t cntp_ctl_el0; member
1782 write_el1_ctx_arch_timer(ctx, cntp_ctl_el0, read_cntp_ctl_el0()); in el1_sysregs_context_save()1891 write_cntp_ctl_el0(read_el1_ctx_arch_timer(ctx, cntp_ctl_el0)); in el1_sysregs_context_restore()
532 DEFINE_SYSREG_RW_FUNCS(cntp_ctl_el0)
396 msr cntp_ctl_el0, x1
428 msr cntp_ctl_el0, x1
439 msr cntp_ctl_el0, x1
1316 cntp_ctl_el0 = 0x0000000000000000