Searched refs:tcr_el1 (Results 1 – 4 of 4) sorted by relevance
89 uint64_t tcr_el1; member
128 mrs x0, tcr_el1131 msr tcr_el1, x0724 msr tcr_el1, x2
500 DEFINE_U64_REG_READWRITE_FUNCS(tcr_el1) in DEFINE_U32_REG_READWRITE_FUNCS()
1226 cfg->tcr_el1 = tcr; in core_init_mmu_regs()