Searched defs:old_ttbcr (Results 1 – 1 of 1) sorted by relevance
4934 const uint32_t old_ttbcr = armreg_ttbcr_read(); in pmap_md_pdetab_activate() local4970 const uint32_t old_ttbcr = armreg_ttbcr_read(); in pmap_md_pdetab_deactivate() local5008 const uint32_t old_ttbcr = armreg_ttbcr_read(); in pmap_activate_efirt() local5235 const uint32_t old_ttbcr = armreg_ttbcr_read(); in pmap_deactivate_efirt() local