Searched refs:old_prefix (Results 1 – 1 of 1) sorted by relevance
154 const uint32_t old_prefix = env->psa; in HELPER() local157 if (prefix == old_prefix) { in HELPER()176 if (old_prefix != 0) { in HELPER()177 tlb_flush_page(cs, old_prefix); in HELPER()178 tlb_flush_page(cs, old_prefix + TARGET_PAGE_SIZE); in HELPER()