Symbol: tpm_isa_match