Searched defs:old_tcrel1 (Results 1 – 1 of 1) sorted by relevance
537 const uint64_t old_tcrel1 = reg_tcr_el1_read(); in pmap_md_xtab_activate() local576 const uint64_t old_tcrel1 = reg_tcr_el1_read(); in pmap_md_xtab_deactivate() local