Symbol: t4_find_or_alloc_sme