25 #define TPM_ACPI_DEVICE_NAME "TPM"
46 	const struct tpm_device *const tpm = acpi_device_get_softc(dev);  in tpm_build_acpi_table()  local
48 	if (tpm->intf->build_acpi_table == NULL) {  in tpm_build_acpi_table()
52 	return (tpm->intf->build_acpi_table(tpm->intf_sc, tpm->vm_ctx));  in tpm_build_acpi_table()
60 	const struct tpm_device *const tpm = acpi_device_get_softc(dev);  in tpm_write_dsdt()  local
61 	const struct tpm_ppi *const ppi = tpm->ppi;  in tpm_write_dsdt()
70 		error = ppi->write_dsdt_regions(tpm->ppi_sc);  in tpm_write_dsdt()
89 		error = ppi->write_dsdt_dsm(tpm->ppi_sc);  in tpm_write_dsdt()
147 		warnx("%s: unsupported tpm version %s", __func__, value);  in tpm_device_create()
174 		warnx("TPM emulation \"%s\" not found", value);  in tpm_device_create()
194 		warnx("TPM interface \"%s\" not found", value);  in tpm_device_create()
215 		warnx("TPM PPI \"%s\" not found\n", value);  in tpm_device_create()
244 	nvl = find_config_node("tpm");  in init_tpm()
250 		warnx("%s: unable to create a TPM device (%d)",  in init_tpm()