Symbol: flush_by_asid