Symbol: smp_on_other_tlbs