Searched refs:modify_el1_tcr2_regs (Results 1 – 1 of 1) sorted by relevance
93 static void modify_el1_tcr2_regs(uint64_t tcr_value) in modify_el1_tcr2_regs() function140 modify_el1_tcr2_regs(mask); in modify_el1_ctx_regs()