Searched refs:tcr_value (Results 1 – 1 of 1) sorted by relevance
93 static void modify_el1_tcr2_regs(uint64_t tcr_value) in modify_el1_tcr2_regs() argument96 write_tcr2_el1(tcr_value & DUMMY_CTX_TCR_VALUE); in modify_el1_tcr2_regs()