Searched refs:TPIDR_EL1 (Results 1 – 2 of 2) sorted by relevance
230 uint64_t TPIDR_EL1; member
204 type5SysRegValues->TPIDR_EL1 = read_el1_ctx_common(el1, tpidr_el1); in fill_ns_context_blocks()517 c->RegisterArray.Type5SysRegs.TPIDR_EL1); in print_context_block()