Symbol: has_flush_by_asid