Searched refs:TCR_EL1 (Results 1 – 3 of 3) sorted by relevance
228 uint64_t TCR_EL1; member
202 type5SysRegValues->TCR_EL1 = read_ctx_tcr_el1_reg_errata(ns); in fill_ns_context_blocks()511 c->RegisterArray.Type5SysRegs.TCR_EL1); in print_context_block()
872 …- clear TCR_EL1 at the BL2 entry point ([fe87637](https://review.trustedfirmware.org/plugins/gitil…