Searched refs:cntkctl_el1 (Results 1 – 8 of 8) sorted by relevance
122 mrs x0, cntkctl_el1124 msr cntkctl_el1, x0
285 write_el1_ctx_arch_timer(get_el1_sysregs_ctx(ctx), cntkctl_el1, in spm_sp_setup()
67 uint64_t cntkctl_el1; member
1779 write_el1_ctx_arch_timer(ctx, cntkctl_el1, read_cntkctl_el1()); in el1_sysregs_context_save()1888 write_cntkctl_el1(read_el1_ctx_arch_timer(ctx, cntkctl_el1)); in el1_sysregs_context_restore()
684 write_el1_ctx_arch_timer(get_el1_sysregs_ctx(ctx), cntkctl_el1, in spmc_el0_sp_setup_system_registers()
539 DEFINE_SYSREG_RW_FUNCS(cntkctl_el1)
1320 cntkctl_el1 = 0x0000000000000000
2845 …- use write_el1_ctx_timer() macro to set cntkctl_el1 value ([19082c2](https://review.trustedfirmwa…