Symbol: tpm_devs_add