Searched refs:TTBR0_EL1 (Results 1 – 3 of 3) sorted by relevance
232 uint64_t TTBR0_EL1; member
206 type5SysRegValues->TTBR0_EL1 = read_el1_ctx_common(el1, ttbr0_el1); in fill_ns_context_blocks()523 c->RegisterArray.Type5SysRegs.TTBR0_EL1); in print_context_block()
544 128 bit version of system registers like PAR_EL1, TTBR0_EL1, TTBR1_EL1,